刚刚,谷歌「IMO金牌」模型上线Gemini,数学家第一时间证明猜想 2025年8月2日12时 作者 机器之心 谷歌发布Gemini 2.5 Deep Think模型,提供更快、更直观的数学问题解决能力。新版本比去年展示的速度更快,性能更高,可以用于IMO竞赛和研究。