.png)
正文：2026年5月，谷歌DeepMind发布AlphaProof Nexus框架，成功解决9道悬置数十年的埃尔德什数学难题，包括一道卡了人类56年的整数集合问题和一道30年未解的密度问题。该系统还证明了OEIS百科中的44个猜想，解决了一道代数几何领域搁置15年的难题，并改进了凸优化领域的理论边界。AlphaProof Nexus基于Gemini模型，通过生成Lean语言证明步骤并反复调试完成任务，推理成本仅为每题几百美元。论文显示，最简单的Agent A也能独立解决全部问题，表明大模型与专业校验工具的简单组合可能成为未来数学研究的高效方案。
原文链接
本文链接：https://kx.umi6.com/article/36207.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "36207")
相关推荐
.png)
换一换
Nature报道：谷歌新模型1秒读懂DNA变异！首次统一基因组全任务
2025-06-27 16:10:14
谷歌 DeepMind 开源 SynthID Text 工具，可辨别 AI 生成的文字
2024-10-27 16:10:18
谷歌把整个地球装进大模型！实时观测，按天更新
2025-08-01 08:58:42
谷歌DeepMind在数学奥林匹克中达到金牌级别成绩
2025-07-22 14:36:07
谷歌 DeepMind 推 QuestBench 基准，评估 AI 模型的推理“补漏”能力
2025-04-26 14:48:26
谷歌 DeepMind 最强 AI 手语翻译模型：SignGemma 登场，打破手语沟通壁垒
2025-05-31 12:05:15
谷歌 DeepMind 新研究强化思维链训练，让 AI 语言模型不再“纸上谈兵”
2025-05-20 14:40:51
谷歌DeepMind开发新AI 可为视频生成配乐和对白
2024-06-20 11:22:33
谷歌DeepMind被曝抄袭开源成果，论文还中了顶流会议
2024-07-15 14:25:42
谷歌DeepMind推出基因预测模型AlphaGenome
2025-06-26 09:39:50
谷歌DeepMind联合开发力提示技术 AI生成视频可模拟真实运动
2025-06-04 09:23:57
谷歌DeepMind推出第二代大规模基础世界模型Genie 2 可一键生成3D互动世界
2024-12-05 11:00:12
32个随机数字，1分钟推演地球未来15天丨谷歌DeepMind
2025-11-18 13:18:08
764 文章
964742 浏览
24小时热文
更多
-
2026-09-06 21:14:00 -
2026-09-06 20:12:34
-
2026-09-06 20:10:47
