已验证75% 置信事实时间未知
2024年Google DeepMind的AlphaProof和AlphaGeometry 2首次在IMO级别问题上达到银牌水平
3
来源数
75%
置信度
长期有效
时效性
2026/6/1
首次发现
来源
DeepSeek V3.2发布：推理比肩GPT-5，首创思考融入工具调用
bilibiliPython学习_
涉及实体
相关事实
已验证谷歌DeepMind的AlphaProof系统于2024年在形式化框架内结合强化学习，处理国际数学奥林匹克题目75% 相似待验证涌现能力（Emergent Ability）现象由谷歌DeepMind研究团队于2022年系统记录67% 相似待验证谷歌DeepMind于2019年将强化学习用于芯片布图规划，并于2021年发表在Nature上，证明AI在特定EDA子任务上可超越人类专家66% 相似待验证Google DeepMind于2023年发布的RT-2首次验证了在550亿参数的视觉语言模型上微调机器人控制的可行性，其泛化能力相比前代提升近一倍65% 相似待验证Google Cloud宣布由DeepMind开发的AlphaEvolve正式GA，以进化算法为基础用大语言模型自动迭代算法方案64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/20030API
curl https://kongchang.com/api/v1/knowledge/claims/20030MCP
get_claim(id=20030)