Unverified50% confidenceEventExact time
Terence Tao responded to OpenAI's recent advances in mathematical reasoning.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/8/2026
First Seen
Valid until: 10/22/2026
Sources
Related Entities
Related Claims
UnverifiedTerence Tao has previously and publicly attempted on multiple occasions to use large language models and formal proof tools to assist mathematical research.66% similarUnverifiedTerence Tao has made pioneering contributions in multiple fields including harmonic analysis, partial differential equations, combinatorics, and analytic number theory.66% similarUnverifiedThe Lean mathematics library project that Terence Tao participated in in 2021 successfully formally verified several important theorems.65% similarUnverified2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施62% similarUnverifiedOpenAI o1 is a reasoning model released in September 2024, trained through reinforcement learning to develop a "slow thinking" capability.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/987126API
curl https://kongchang.com/api/v1/knowledge/claims/987126MCP
get_claim(id=987126)