谷歌DeepMind的IMO金牌模型，完整技术全公开了！延续DeepMind的命

量子位看科技 2025-11-13 20:53:52

谷歌DeepMind的IMO金牌模型，完整技术全公开了！延续DeepMind的命名传统，这次叫：AlphaProof。依然是Nature刊发的形式，放出了AlphaProof的完整论文，首次详细公开了其背后的技术架构和训练方法。值得一提的是，无师自通的下棋AlphaZero，也在这次论文里被多次提及。【图1】作者Tom Zahavy也趁此机会分享了一些开发过程中的细节：AlphaProof团队规模并不大。大部分时间里只有大约10个人，临近IMO比赛时才有更多人加入。真正带来突破的核心团队成员是IMO金牌得主Miklós Horváth。他想出一个方法可以创建AI正在处理的问题的各种变体，并将它们作为初始状态，让智能体在这些变体上进行训练。【图2】在整整一年里，这支团队还探索了各种研究思路，虽然很多都失败了，但成功的那些都被整合到了AlphaProof系统里，现在全面公开。技术细节：

0 阅读：2

猜你喜欢

量子位看科技

量子位看科技

感谢大家的关注

作者最新文章

1
AI三大词汇贴切比喻一次弄懂AI三大核心词汇LLM、RAG、AI Agent这三
2
电工机器人征服万伏高压高空高压作业再也不怕在上海宝山区，一台黄色机器人正在13米
3
图解Agent智能体Agent宝藏资源推荐Agent智能体到底是啥？这张图解释得
4
吉卜力万代协会抵制AI生成AI生成内容惹抗议吉卜力、万代等游戏动画巨头所在协会，
5
名人推荐书单来了值得读两遍的书分享一个名人推荐好书的网站：www.readthi
6
2张4090微调万亿参数大模型2张4090微调KimiK2 微调超大参数模型，现
7
七成AI初创公司在套壳146家AI初创被曝套壳大多数AI初创公司，其实就是套壳？
8
新图像编辑模型更懂中文国产开源模型比NanoBanana更细比Nano Bana
9
AI算力大战打到太空芯片巨头开始抢占太空AI算力战打到外太空了。英伟达H100芯
10
OpenAI资本布局图谁在为OpenAI买单OpenAI近期资本循环游戏，看这张

热门分类

推荐 热榜 军事 NBA 体育 社会 明星八卦 娱乐 财经 科技 汽车 历史 国际 游戏 动漫 公益 搞笑 商业 互联网 数码 国际足球 房产 家居 时尚 科学探索 职场 育儿 股票 教育 影视 情感 热点 中国军情 武器 中国南海 中国足球 亚洲杯 科比 综合体育 CBA 投资 大咖秀 外汇 创业 风口 SUV 豪车 概念车 优惠 新能源 美国 欧洲 朝日韩 俄罗斯 孕期 街拍 婚姻 正能量

科技TOP

1
这是做什么工作的？电脑上也看不懂
2
华为官宣鸿蒙操作系统610月22日特别发布，官宣更好看，更好用，更智能，更安
3
中国移动你是良心发现了吗？中国移动你是良心发现了吗？18年的老用户了，每个月就
4
小鹏机器人“猫步”惊艳全场！网友疑是真人，何小鹏四字回应暗藏玄机昨日，第七届小
5
估计不止刘强东和雷军就连马云也发懵了于东来最近这是怎么了，他竟然又说50万元3小
6
全球芯片代工市场，台积电的市场份额是70%，台积电估值1万亿美元，中芯国际的市场
7
HarmonyOS6来了，10月22日14:30，鸿蒙操作系统6
8
最近关于荣耀500系列的爆料越来越全面，如果这些配置是真的就太棒了！数字系列一
9
对小鹏机器人太好奇了，不可能是真人套个皮吧？小鹏好歹是家上市公司专门开个发布会亮
10
即将开启11月中端影像机大战！OPPO、vivo、荣耀两亿像素普及！！三款

科技最新文章

1
发布会可以不用开了，荣耀500真机开箱来了，而且配置参数基本确定从媒体放出的
2
华为Mate80这个月发布？我都快馋疯了上次买华为还有，还是20年的Mate
3
想换mate70air了，在华为店模拟日常使用试玩了半天，9020b在华为这是吃
4
从华为Mate60Pro换到荣耀Magic8Pro，续航和拍照的提升是意料之
5
重磅消息！华为Mate80系列手机壳曝光，摄像模组是居中大圆，和华为Mate
6
【荣耀500系列官宣】11月12日，荣耀500系列正式官宣，号称全系越级配置，带
7
荣耀500系列的官方海报，这次是超级标准版和超级Pro版，主打超级。海报看起来
8
不懂就问，谢霆锋这用的是什么手机？其实很好辨认，从镜头Deco设计、侧边的实
9
陈芋汐手持荣耀500真机，预计搭载8000mAh电池!陈芋汐手持荣耀500，
10
两款旗舰对决！荣耀Magic8vs一加15，你站谁？🔥要我选，必须推荐