开源动态8

DeepMind开源数学猜想库

量子位2025-05-31

AI 摘要

DeepMind：开源形式化数学猜想库，可作AI测试基准，助其提升数学推理能力，是AI+ATP关键一步，邀大家参与。陶哲轩：看好AI在数学领域潜力，期待更多进展。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

陶哲轩发声：必须放缓AI发展

菲尔兹奖得主陶哲轩发声呼吁放缓AI发展，其博客引发数学界关于AI冲击下传统研究体系存亡的大辩论，探讨数学界的转型出路。

本文报道谷歌近期AI业务最新动态，涵盖Gemini 4大模型研发进展、TPU上太空测试计划，以及工程师因AI发展太快辞职事件，展现谷歌AI全面加速的现状。

本文报道OpenAI被指截胡纽约大学数学家破解纳维-斯托克斯方程的研究成果，菲尔兹奖得主陶哲轩发文怒批，指出AI暴力介入正在摧毁数学界百年开放科学传统，引发学界热议。

Epoch AI和曼彻斯特大学发布FME基准测试论文，让68道未解数学难题成5个顶级AI的考场。GPT - 6 Astra成唯一得分非0分模型，放宽预算共解开5道，其余4个AI全交白卷。该测试是对陶哲轩批评的回应。