Mathematicians lament missed chance for labs and math community to celebrate AI advances together
soumitrashukla9 · x · 2026-09-09
Mathematician skominers argues this would be a fantastic moment for frontier labs and the math community to jointly celebrate humans and AI advancing math together, recognizing the value of a federation of many models. roelofvandijk quips we could have woken up to 'OpenAI and Anthropic team up, solve Navier-Stokes cleanly, fully formalized, with a nice explanation by Tao'—but the world doesn't work that way yet.
Related event: Mathematicians Lament AI Labs Could Have Jointly Solved Navier-Stokes(2 posts)→
More from AGI Musings
- Navier-Stokes solved in 5 days by OpenAI? Insiders say impossible things are becoming possible — MoonL88537 · 2026-09-09
- OpenAI claims Navier-Stokes Millennium Prize solution using 10,000 AI agents — Dr_Singularity · 2026-09-09
- AI-assisted writing will become the norm, making 'hand-made' text indistinguishable — dbasch · 2026-09-09
- Researcher warns against turning mathematics into an AI benchmark — konstmish · 2026-09-09
- OpenAI officially announces solution to 90-year-old Navier-Stokes problem — ctjlewis · 2026-09-09
- The 'golden era of scientific discovery' arrives as AI cracks a Millennium Problem — kimmonismus · 2026-09-09