


AI4S.fyi 最新记录
经历
剑桥大学数学系教授
出处maths.cam.ac.uk教育与工作经历读自本人主页或雇主页面;论文在 arXiv 上核对过署名。LinkedIn 只读本人公开发布的帖子;GitHub 只给链接。
照片来自 maths.cam.ac.uk · 联系 →
他们写的评论
- 2026-10-06Hansen 等:Lean 编译通过,不等于原文的证明成立
这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →



出处maths.cam.ac.uk教育与工作经历读自本人主页或雇主页面;论文在 arXiv 上核对过署名。LinkedIn 只读本人公开发布的帖子;GitHub 只给链接。
照片来自 maths.cam.ac.uk · 联系 →
这一页有错误或遗漏?告诉我,会更正或撤下。 联系 →