Lucifer 发表于 2025-6-12 14:13:19

DeepMind首个人工智能数学猜想库正式开源，得到陶哲轩大力支持！

<p>近日，谷歌DeepMind正式在GitHub上开源了“形式化猜想”项目，引发行业广泛热议。</p>
<p><img src="https://images.bigseek.com//forum/202506/12/141209s1azbi02c2usitii.png" alt="图片.png" title="图片.png" />项目链接：https://github.com/google-deepmind/formal-conjectures</p>
<p>特别是，长期对此领域高度关注的菲尔兹奖得主陶哲轩发表长文对此进行了评价。这一开源数据库将数学猜想以形式化语言重述，使AI工具能够理解并尝试破解这些问题。</p>
<p><img src="https://images.bigseek.com//forum/202506/12/141301y3wfft66t6iddt6f.png" alt="图片.png" title="图片.png" />目前，这个库已经收录了一些重量级猜想，比如解析数论中的4个「兰道猜想」Landau problem）。</p>
<p><strong>DeepMind正向全球数学家和研究者征集更多猜想，让这个库成为一个不断扩展的「数学宝库」。</strong></p>

g18553988q 发表于 2025-6-16 14:11:39

可是让AI加入学术研究真的对吗

halczy 发表于 2025-6-22 10:00:03

这项目挺有意思的

libobo 发表于 2025-7-21 14:30:03

AI要挑战数学啦？
页: [1]
查看完整版本: DeepMind首个人工智能数学猜想库正式开源，得到陶哲轩大力支持！