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