Fortnow称AI形式化证明进展超预期
热点事件持续更新
Fortnow称AI形式化证明进展超预期
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
理论计算机科学家 Lance Fortnow 表示，AI 接手研究论文、补全形式化证明细节并验证证明的进展速度超过了他的预期。他2022年撰写文章时还认为自动完成这类任务相当遥远，如今感叹自己的“梦想得不够大”。 Fortnow 将这一变化与 Lean 等形式化数学工具和大语言模型的结合联系起来，认为两者结合正在加快数学证明自动化。
AI 根据报道生成 · 2 小时前更新
最新进展11月2日 22:37
理论计算机科学家 Fortnow：AI 补全证明细节的速度超预期报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- AGI Hunt理论计算机科学家 Fortnow：AI 补全证明细节的速度超预期
计算理论学者 Lance Fortnow 表示，AI 接手研究论文、补全形式化证明细节并验证证明的进展速度超过其预期。他 2022 年在 CACM 写文章时曾认为这一任务仍很遥远，如今感叹自己的“梦想得不够大”。Lean 等形式化数学工具与 LLM 的结合，正快速推动数学证明自动化。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。