⌘ K
… 读取采集状态 同步中...
雷
原文
虎嗅· 科学网© ·· 7 天前经营分83

北大教授董彬:AI 让数学进入更好的时代

北大教授董彬:AI让数学进入更好的时代

AI 导读

北大教授董彬指出,AI 自主验证推理能力增强使数学研究进入新时代,其团队研发的 Rethlas-Archon 系统已用 Lean 4 代码形式化验证并否定了安德森猜想。尽管部分数学家对 AI 解决悬置问题感到焦虑,董彬认为这是暂时的,数学家应拥抱 AI 以拓宽视野并解决更困难的问题。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:虎嗅 · huxiu.com