待验证50% 置信观点精确时间

2024年陶哲轩开始大力推广数学证明的形式化，认为AI辅助形式化是数学未来的发展方向

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/10

首次发现

有效期至：2026/12/9

来源

OpenAI千禧年数学难题争议：AI能否真正突破数学极限

涉及实体

陶哲轩person

相关事实

待验证吴恩达在2024年初的多次公开演讲中系统阐述了Agentic AI理念71% 相似待验证截至2024年Lean的Mathlib库已形式化超过17万条数学定理68% 相似待验证NVIDIA黄仁勋在2024年CES演讲中重点强调了Physical AI概念68% 相似待验证Simon Willison 将2025年11月称为改变 AI 编码格局的关键拐点66% 相似待验证提示词工程在2023年初曾被视为'AI时代的编程语言'，催生了大量课程和职位66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/886967

API

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

MCP

get_claim(id=886967)