Unverified50% confidenceFactExact time
Kevin Buzzard is a number theory professor at Imperial College London who leads the formalization project of Fermat's Last Theorem in Lean 4
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/7/2026
First Seen
Valid until: 12/6/2026
Sources
Related Entities
Related Claims
UnverifiedJens Marklof is Dean of the Faculty of Science at the University of Bristol, former President of the London Mathematical Society, and his research covers dynamical systems, quantum chaos, random matrices, and related areas.60% similarUnverifiedIn 2023, top mathematicians including Terence Tao began using Lean to formalize important theorems.59% similarUnverifiedFermat's Last Theorem eluded the mathematics community for 358 years.58% similarUnverifiedKenneth Ribet established the Frey–Ribet theorem in 1986, building on the work of Gerhard Frey, proving that the Taniyama–Shimura conjecture implies Fermat's Last Theorem.57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/870171API
curl https://kongchang.com/api/v1/knowledge/claims/870171MCP
get_claim(id=870171)