https://www.neican.ai/tags/firstproof/ Recent content in FirstProof on AI内参 Hugo zh-cn Thu, 26 Feb 2026 16:10:10 +0800 https://www.neican.ai/insights/aletheiaopenai-20260226161010224-0/ Thu, 26 Feb 2026 16:10:10 +0800 https://www.neican.ai/insights/aletheiaopenai-20260226161010224-0/ 谷歌数学智能体Aletheia在更难的FirstProof赛题中以6:5击败OpenAI，且全程0人工干预，甚至解决了一项未公开的数学难题。相比之下，OpenAI在考试中仍需人工辅助，这场“AI科学家”的自主性对决谷歌完胜。