AINewsnow

AI Today: Agents Crack Navier-Stokes

This story is from 2026-09-10. It is preserved in the archive; the latest stories are on the live feed.

This week, 10,000 AI agents spent 88 hours on a Millennium Prize Problem and came back with a proof a computer can check. The part a computer can't check is harder: who gets the credit, and whether the theorem Lean verified is the one mathematicians actually meant. Science OpenAI says its agents pr…

Read the full story at DEV Community — AI ↗

Timeline · 1 report

  1. 2026-09-10 20:55 · DEV Community — AI
    AI Today: Agents Crack Navier-Stokes

More stories

  1. Anthropic, OpenAI, SpaceXAI, Google sued over call to ‘pace’ AI development — Politico Technology
  2. Google's Gemini AI hacks three other companies during security test — Sky News Technology
  3. Gemini Hacked Three Companies in First Known Breakout by Google’s AI — Wall Street Journal Technology
  4. OpenAI reveals cases of ‘concerning’ AI behaviour as it announces new disclosure system — The Guardian AI
  5. Hackers Used Anthropic’s Claude to Break Into OpenAI — Wall Street Journal Technology
  6. Microsoft exec called AI scraping the “largest theft of labor in human history” — Ars Technica AI
  7. Meet the Data Agent in ChatGPT Work — OpenAI YouTube
  8. Anthropic adds support for the AGENTS.md instructions spec to Claude Code; OpenAI contributed AGENTS.md to the Agentic AI Foundation last year (Thomas Claburn/The Register) — Techmeme

Get the daily brief of stories like this at 6:30 every morning →