OpenAI announced that an internal AI system deployed a swarm of roughly 10,000 concurrent agents over 88 hours to produce a formal Lean-verified proof addressing the Navier–Stokes Millennium Prize Problem. Meanwhile, a study published in Nature Biotechnology revealed that Insilico Medicine's AI-designed drug rentosertib significantly reduced biological age markers across six independent proteomic clocks in a Phase 2a trial.

We’ll talk about:

• A 10,000-agent AI swarm utilizing 130B output tokens to generate a 165-page proof and Lean formalization of finite-time blowup in fluid dynamics.
• Phase 2a trial data showing an AI-designed idiopathic pulmonary fibrosis drug reduced biological age markers by up to 3–4 years across six proteomic aging clocks.
• OpenAI deploying its upgraded image g ...