谷歌数学智能体Aletheia在更难的FirstProof赛题中以6:5击败OpenAI，且全程0人工干预，甚至解决了一项未公开的数学难题。相比之下，OpenAI在考试中仍需人工辅助，这场“AI科学家”的自主性对决谷歌完胜。