开源动态8

DeepMind开源数学猜想库

量子位2025-05-31

AI 摘要

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

关注公众号

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

公众号专辑

谷歌拆分DeepMind，布林力促Gemini

DeepMind换帅一周后震荡持续，谷歌将拆分它，把部分非技术团队转入谷歌汇报体系。谷歌联合创始人谢尔盖·布林重新介入Gemini。此外，Gemini因算力、内讧、官僚等问题落后。

DeepMind研究员Andrew Trask认为，因Scaling Law对资源需求攀升，AI将成协议而非程序。组合不同厂商模型有优势，当主流榜单同等评分时变革加速，之后人们将买“智能本身”。

菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。

牛津大学博士生Silvia Sapora把机器学习求职面试经历原原本本写在博客中。她分享面试准备技巧、心态与谈判策略，提醒一次面试表现不定义研究者价值，该文对求职者或许比题库更有用。