Unverified50% confidenceFactExact time

陶哲轩此前多次公开尝试用大语言模型和形式化证明工具辅助数学研究

1

Sources

50%

Confidence

Long-term

Relevance

9/11/2026

First Seen

Sources

陶哲轩警示：AI正在耗尽数学的开放问题

Related Entities

陶哲轩person 大语言模型technology

Related Claims

Unverified2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施71% similar Unverified陶哲轩在调和分析、偏微分方程、组合数学、解析数论等多个领域均有开创性贡献69% similar Unverified陶哲轩在2021年参与的Lean数学库项目成功形式化验证了多个重要定理65% similar Unverified包括菲尔兹奖得主陶哲轩在内的顶尖学者正在积极推动使用 Lean 验证复杂定理64% similar UnverifiedFrontierMath是由陶哲轩等数学家参与设计的前沿数学题库62% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/899578

API

curl https://kongchang.com/api/v1/knowledge/claims/899578

MCP

get_claim(id=899578)