谷歌DeepMind发布新一代AlphaProof
米塔之家 · 2025-09-04 10:51:11
DeepMind宣布其AI系统AlphaProof在IMO（国际数学奥林匹克竞赛）级别的数学证明问题上取得突破性进展，解决了多个此前未解的难题，推理能力远超上一代。
DeepMind宣布其AI系统AlphaProof在IMO（国际数学奥林匹克竞赛）级别的数学证明问题上取得突破性进展，解决了多个此前未解的难题，推理能力远超上一代。
