2024年7月，AI在国际数学奥林匹克竞赛题目上达到银牌水平，标志着人工智能在复杂数学推理领域取得重要进展。

推出 AlphaProof Code：深度验证复杂软件的重大突破
Google DeepMind Blog Google DeepMind Blog ·
👤 个人中心
在公众号发送验证码完成验证