谷歌AI攻克6道世界级难题，比IMO金牌更震撼！陶哲轩指明新玩法

【新智元导读】Google DeepMind最新AI智能体Aletheia在FirstProof挑战赛中，独立攻克了6道世界级数学难题，实现了从竞赛水平到PhD科研级的质变。人类数学研究的「手工时代」或许正步入倒计时。