AIWiredabout 1 hour ago
OpenAI's AI Proof Rattles Mathematicians
10 min read
OpenAI says thousands of agents solved the decades-old Navier-Stokes existence and smoothness problem, producing a 166-page proof now under peer review. Mathematicians criticize the brute-force approach for skipping human understanding and attribution, and 25 Fields Medal winners signed a declaration warning that mass-produced proofs could destroy fertile ground for new ideas. OpenAI formed an advisory group in response.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyOpenAI
