Unverified50% confidenceFactExact time
Terence Tao has previously and publicly attempted on multiple occasions to use large language models and formal proof tools to assist mathematical research.
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
Unverified2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施71% similarUnverifiedTerence Tao has made pioneering contributions in multiple fields including harmonic analysis, partial differential equations, combinatorics, and analytic number theory.69% similarUnverifiedThe Lean mathematics library project that Terence Tao participated in in 2021 successfully formally verified several important theorems.65% similarUnverifiedLeading scholars, including Fields Medal laureate Terence Tao, are actively promoting the use of Lean to verify complex theorems.64% similarUnverifiedFrontierMath is a frontier mathematics problem set designed with the participation of mathematicians including Terence Tao.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/899578API
curl https://kongchang.com/api/v1/knowledge/claims/899578MCP
get_claim(id=899578)