已验证65% 置信发布精确时间
谷歌DeepMind的AlphaProof系统于2024年在形式化框架内结合强化学习，处理国际数学奥林匹克题目
3
来源数
65%
置信度
中期 (~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% 相似已验证推测解码（Speculative Decoding）范式由Google Brain和DeepMind团队于2023年几乎同期提出68% 相似待验证Google DeepMind的SynthID-Text采用锦标赛采样策略，在高熵位置嵌入信号、低熵位置退化为正常采样，Google于2024年将其开源并集成到Gemini系列模型中68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/565061API
curl https://kongchang.com/api/v1/knowledge/claims/565061MCP
get_claim(id=565061)