Unverified50% confidenceEventExact time
Alex revealed that within one month he was stunned by AI capabilities for the third time; the first two were the formalization of Fermat's Last Theorem and progress on the Navier-Stokes equations.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/27/2026
First Seen
Valid until: 11/10/2026
Sources
Related Entities
Related Claims
UnverifiedOn Lex Fridman's podcast, number theorist Alex said he personally witnessed the proof of the quasi-Riemann hypothesis being completed by an AI system.65% similarUnverifiedTheo (t3.gg) was initially skeptical of Matt Pocock's AI skill set, but his view fundamentally changed after one week of actual use.61% similarUnverifiedThe author believes the 3-byte patch succeeding on the first try is attributable partly to AI analysis, partly to luck, and partly to the problem being relatively clear-cut, and that Claude's diagnosis itself contains speculative elements.60% similarUnverifiedXu Disheng once collaborated with his advisor, Fields Medal winner Artur Avila, to study the three-dimensional case of the Ghys conjecture, but did not arrive at an effective proof idea; afterward he collaborated with Zhang Jiesong to obtain some weakly related results in the three-dimensional case, with the results published in the Journal of the European Mathematical Society (JEMS).59% similarUnverifiedOn September 8, 2025, New York University mathematician Tristan Buckmaster publicly released three AI-assisted research results on fluid equations, and in a four-page statement disclosed that OpenAI researchers told him their internal model had generated a finite-time blow-up proof for the Navier-Stokes equations with smooth external force.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1105370API
curl https://kongchang.com/api/v1/knowledge/claims/1105370MCP
get_claim(id=1105370)