Unverified50% confidenceReleaseExact time
Terence 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.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/11/2026
First Seen
Valid until: 1/9/2027
Sources
Related Entities
Related Claims
Unverified2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施66% similarUnverifiedFrontierMath is a frontier mathematics problem set designed with the participation of mathematicians including Terence Tao.64% similarUnverifiedTerence Tao has previously and publicly attempted on multiple occasions to use large language models and formal proof tools to assist mathematical research.63% similarUnverifiedThe Lean mathematics library project that Terence Tao participated in in 2021 successfully formally verified several important theorems.62% similarUnverifiedTerence Tao responded to OpenAI's recent advances in mathematical reasoning.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/997051API
curl https://kongchang.com/api/v1/knowledge/claims/997051MCP
get_claim(id=997051)