AlphaProof 达到国际数学奥林匹克银牌水准
Google DeepMind 宣布其形式化数学推理系统 AlphaProof 联合 AlphaGeometry 2 解出 2024 年国际数学奥林匹克竞赛中 4 道题目。
- 公告日期
- 2024-07-25
- 开放使用日期
- 与公告日期相同
- 厂商
- 谷歌 DeepMind
- 模态
- 语言
- 核实状态
- 已核实
AI 发布时间线
Google DeepMind 宣布其形式化数学推理系统 AlphaProof 联合 AlphaGeometry 2 解出 2024 年国际数学奥林匹克竞赛中 4 道题目。