已验证90% 置信发布精确时间
谷歌DeepMind的AlphaProof系统于2024年在形式化框架内结合强化学习，处理国际数学奥林匹克题目
7
来源数
90%
置信度
中期 (~90 天)
时效性
2026/7/19
首次发现
有效期至：2026/10/17
来源
相关事实
待验证谷歌DeepMind于2019年将强化学习用于芯片布图规划，并于2021年发表在Nature上，证明AI在特定EDA子任务上可超越人类专家78% 相似已验证2024年Google DeepMind的AlphaProof和AlphaGeometry 2首次在IMO级别问题上达到银牌水平75% 相似已验证涌现能力（Emergent Ability）现象由谷歌DeepMind研究团队于2022年系统记录71% 相似待验证Google DeepMind在2023年发表的论文中提出了一个从新兴AGI到超人AGI的五级分类框架69% 相似已验证推测解码（Speculative Decoding）范式由Google Brain和DeepMind团队于2023年几乎同期提出68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/565061API
curl https://kongchang.com/api/v1/knowledge/claims/565061MCP
get_claim(id=565061)