DeepMind AI获IMO银牌，发布AlphaProof

谷歌DeepMind的AI系统在国际数学奥林匹克竞赛中获得28分（银牌），并发布专用数学推理模型AlphaProof和几何模型更新版AlphaGeometry。