陶哲轩转发!DeepMind开源「AI数学证明标准习题集」

DeepMind开源了形式化数学猜想库,收录了经典的形式化表述的数学猜想集合,如解析数论中的四个朗道问题,并提供了代码函数帮助用户形式化表述数学猜想。

该库旨在为自动定理证明或形式化工具提供测试基准,促进AI模型提升数学推理及证明能力,用户可通过GitHub参与其中,添加或改进猜想。

陶哲轩曾用Lean形式化证明了PFR猜想,并支持此项目,认为形式化表述是利用自动化工具解决开放性问题的重要一步。

[原文链接]

上一篇:

下一篇:

微信