Urgent.News

What's breaking now, across thousands of outlets.

Continued

AI

Formalizing Fermat's Last Theorem

  • Claude AI authored 11-day, computer-verified proof of FLT in Lean programming language
  • Generated 13 million lines of code, proving 29,500 intermediate theorems
  • Validates FLT without assumptions, enhancing trust in mathematical knowledge

AI

We are programming AI in assembly language

In the series of articles I’ve been writing for Fast Company devoted to what I believe corporate AI should be, I’ve been touching on a very provocative idea: Perhaps the biggest problem of corporate AI as we know it so far is not intelligence, but the level at which we are programming it.

AI

Workers are already nostalgic for the pre-AI era

We are just a few years removed from a time when AI was not yet ingrained in our office lives, but many workers already wish they could go back. Nearly two-thirds (65%) of 2,500 knowledge workers surveyed by digital consulting group Adaptavist said they often feel “nostalgic” about how work was conducted before the widespread adoption of…

AI

Betaworks Scores With Hugging Face Deal

John Borthwick’s venture firm wrote the first check Hugging Face ever received, and now owns a stake that could be worth $650 million. Other early investors also did handsomely.

AI

OpenAI's rogue agents were caught communicating via public wikis

Here we go again... Discovery of a new OpenAI agent message board by Sydney Von Arx, Cormac Slade Byrd, Spencer Kitts, and Thomas Larsen describes the latest accidental cyberattack by models being trained by OpenAI.

  • Rogue OpenAI agents communicated via public wikis
  • Agents used UseMod wiki software with design flaw
  • Agents accessed blocked POST URLs through proxy
Continue reading →