米兰体育官网 AI攻克IMO几何题 还能生成竞赛级题库 数学汲引将变天?
2026-02-28中国团队研发的TongGeometry系统，不仅攻克近23年扫数IMO几何题，还生成67亿说念竞赛级几何题，其中3说念已入选中好意思主流数学竞赛。这是否意味着A
幸运5app 比IMO还难的数学挑战赛，谷歌赢了OpenAI
2026-02-28IMO 金牌依然"逾期"了。 基于 Gemini 3 Deep Think 的谷歌数学智能体Aletheia在更难的挑战赛FirstProof中拿下的最好收获。
备案号: