Diego Córdoba
AI overview
Sign in and the AI will write an overview from our coverage.
Headlines · 1
- Mathematicians say OpenAI's Navier-Stokes proof took a different route than claimed
On September 8, 2026, OpenAI said its internal AI system produced a 166-page Navier-Stokes proof in about 88 hours using roughly 10,000 agents, published a Lean formalization, and attributed the approach to Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa. Several expert groups told Scientific American that the details instead show a different method, with EPFL mathematician Gonzalo Cao-Labora saying the similarities are only surface-level. OpenAI researcher Noam Brown estimates the multi-agent setup contributed under 10% of the success; NYU mathematician Tristan Buckmaster has accused OpenAI of building on work he did with Anthropic's Levent Alpöge, which OpenAI denies, and the Clay Mathematics Institute has been reviewing the proof.
36氪 人工智能 · 🔥 3
Experience and discussion from the community
Share my Diego Córdoba experienceAsk about Diego Córdoba
Nobody has shared their experience with Diego Córdoba yet.