待验证50% 置信事实精确时间

Xena项目由伦敦帝国理工学院数学教授Kevin Buzzard发起，目标是将本科及研究级别的数学形式化到Lean证明助手中

1

来源数

50%

置信度

长期有效

时效性

2026/9/6

首次发现

来源

费马大定理机器验证完成：AI形式化证明的里程碑突破

涉及实体

Xena项目product Kevin Buzzardperson 伦敦帝国理工学院company Leanproduct

相关事实

待验证MAT157（Analysis I）是多伦多大学的专业数学序列课程，训练严谨分析能力和数学成熟度55% 相似待验证2023年陶哲轩等顶级数学家积极推动了形式化数学运动，希望建立人机共同验证的数学基础设施53% 相似待验证专业数学序列课程的价值在于训练数学成熟度（mathematical maturity），即做严格证明和抽象思考的元认知能力53% 相似待验证Andrew Ng 最初的机器学习课程以 Octave/MATLAB 为教学工具52% 相似待验证剑桥大二本科生借助AI能独立破解数道经典埃尔多斯猜想51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/865931

API

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

MCP

get_claim(id=865931)