Unverified60% confidenceFactExact time
FrontierMath is a frontier mathematics problem set designed with the participation of mathematicians including Terence Tao.
2
Sources
60%
Confidence
Long-term
Relevance
9/10/2026
First Seen
Sources
Related Entities
Related Claims
Unverified2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施67% similarUnverifiedTerence Tao has made pioneering contributions in multiple fields including harmonic analysis, partial differential equations, combinatorics, and analytic number theory.64% similarUnverifiedTerence Tao co-founded the SAIR Foundation and launched an open mathematics model initiative; the first phase targets everyday research needs, with related models to be released soon.64% similarUnverifiedTerence Tao is a Fields Medal laureate and one of the most influential mathematicians of the contemporary era.62% similarUnverifiedTerence Tao has previously and publicly attempted on multiple occasions to use large language models and formal proof tools to assist mathematical research.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/889245API
curl https://kongchang.com/api/v1/knowledge/claims/889245MCP
get_claim(id=889245)