Unverified50% confidenceFactExact time
Mathematician Terence Tao and others have participated in using Lean, bringing it widespread attention.
1
Sources
50%
Confidence
Long-term
Relevance
9/30/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedIn 2023, top mathematicians including Terence Tao began using Lean to formalize important theorems.75% similarUnverified安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形68% similarUnverifiedIn 2023, Terence Tao collaborated with other mathematicians to use Lean to verify the proof of the polynomial Freiman-Roth theorem.67% 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 conjecture63% similarUnverifiedTerence Tao commented that the work of the two scientists on the related problem had advanced to the point where it was very likely extendable to solve the Navier-Stokes problem.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/961407API
curl https://kongchang.com/api/v1/knowledge/claims/961407MCP
get_claim(id=961407)