Unverified50% confidenceOpinionExact time
Buckmaster likened the event to a Deep Blue vs. Kasparov moment, and acknowledged that mathematicians working with LLMs can now accomplish this kind of work within a month.
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedMathematicians including Tristan Buckmaster have made breakthrough progress on the non-uniqueness of solutions to the Euler equations, constructing weak solutions using techniques such as convex integration.60% similarVerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture58% similarUnverifiedThe SIKE scheme based on supersingular isogeny mappings was broken in 2022 by Wouter Castryck and Thomas Decru using a classical algorithm within a matter of hours57% similarUnverifiedNew York University mathematics professor Tristan Buckmaster and Anthropic employee Levent Alpoge publicly released three results before OpenAI's announcement, including finite-time blow-up for the three-dimensional incompressible Euler equations with a smooth external force.57% similarUnverifiedIn 2023, top mathematicians including Terence Tao began using Lean to formalize important theorems.52% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896208API
curl https://kongchang.com/api/v1/knowledge/claims/896208MCP
get_claim(id=896208)