自主解决开放数学问题

DeepMind的Gemini Deep Think智能体在700个公开的Erdős问题上进行了评估，其中自主解决了4个。

具体怎么做

DeepMind 基于 Gemini Deep Think 开发了 Aletheia 这一数学研究智能体，该智能体由三部分组成：生成器、自然语言验证器及修改器。验证器会识别错误，智能体则要么修改解决方案，要么重新启动；它也可以承认失败。该工具利用 Google 搜索和网页浏览来查阅已发表的文献。在半自主评估中，它针对 Bloom 的 Erdős 数据库中的 700 个开放问题进行了测试。

做到了什么

它自主解决了四个未解决的Erdős问题：652、654、1040和1051。Erdős-1051问题也在另一篇论文中得到了推广。该报道并未提及任何重大进展或突破性成果。

上手要点

智能体表示无法解决问题的能力为研究人员节省了时间。这些提示词和输出结果存储在 GitHub 上，完整细节则见于 arXiv 论文中。