AINewsnow

How do 10,000 AI agents work on one proof without duplicating each other’s work?

OpenAI says roughly 10,000 concurrent agents worked on the Navier–Stokes problem, exploring different approaches and exchanging millions of messages. It reports reaching the result about 88 hours after launch, with Lean formalization and verification taking another 17 hours. That leaves a lot of du…

Read the full story at r/AI_Agents ↗

Timeline · 1 report

  1. 2026-09-20 07:27 · r/AI_Agents
    How do 10,000 AI agents work on one proof without duplicating each other’s work?

More stories

  1. Anthropic, OpenAI, SpaceXAI, Google sued over call to ‘pace’ AI development — Politico Technology
  2. Gemini Hacked Three Companies in First Known Breakout by Google’s AI — Wall Street Journal Technology
  3. Meet the Data Agent in ChatGPT Work — OpenAI YouTube
  4. Introducing the Australian Youth Safety Blueprint — OpenAI News
  5. Microsoft and OpenAI Workers Worry About ‘Largest Theft of Labor’ in History — New York Times Technology
  6. Anthropic selects Accenture as first embedded evaluator to help implement Amodei's slowdown proposal — CNBC Technology
  7. Anthropic mulls new AI model ahead of IPO to counter OpenAI's GPT-6 Astra, says report: What we know — Mint AI
  8. OpenAI ‘ethically hacked’ with help of Anthropic’s Claude chatbot — The Guardian AI

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