Unverified50% confidenceFactExact time
OpenAI says its model produced a proof of a local smoothing conjecture proposed in 1991 in all dimensions, and on that basis solved the open pi conjecture and the Stein restriction conjecture.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/30/2026
First Seen
Valid until: 11/13/2026
Sources
OpenAI Math Breakthrough, Anthropic IPO, and Reasoning Model Tutorial
youtubeAi人日记10/27/2026
Related Entities
Related Claims
UnverifiedThe core strategy of Wiles's proof is to prove a special case of the Taniyama–Shimura conjecture (the modularity theorem), namely that every semistable elliptic curve is a modular form.70% similarUnverifiedOpenAI's mathematics research touches on the quasi-Riemann hypothesis, the Hodge conjecture, and the BSD conjecture, and extends Hong Wang's Fields Medal-winning three-dimensional Kakeya set dimension conjecture to four dimensions.67% similarUnverifiedOpenAI recently shared its model's results on the Kakeya conjecture, the Exponential Time Hypothesis (ETH) and quantum chromodynamics (QCD).66% similarUnverifiedOpenAI claims its internal model has solved the Millennium Prize problem related to the Navier-Stokes equations, providing both an analytical proof and a Lean formal proof.65% similarUnverifiedThe paper validates the theoretical results through coupled simulations from one to one hundred dimensions, showing that the theoretically predicted tail probabilities agree well with the actual simulations.65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1116041API
curl https://kongchang.com/api/v1/knowledge/claims/1116041MCP
get_claim(id=1116041)