San Francisco10,000 AI agents found equations that blow up.
It suggests equations modeling aircraft wings and weather forecasts have a flaw.
The Clay Mathematics Institute requires 2 years of published scrutiny before considering any prize award.
Independent mathematicians have not yet verified OpenAI’s construction, Quanta reports.
How each outlet framed it
- Quanta Magazine leans favorable
- positions AI mathematics proof as potential paradigm shift, emphasizes formal verification rigor in Lean
Sources: Quanta Magazine