IXThinker·2026-02-27 14:50

谷歌數學智能體Aletheia勝出高難數學挑戰

谷歌基於Gemini 3 Deep Think打造的數學智能體Aletheia，在難度超越IMO的FirstProof挑戰中全程無人工干預解出10題中的6題，成績優於OpenAI內部模型的5題。

賽題由來與設計

FirstProof由來自哈佛、斯坦福等名校的11位頂尖數學家聯手打造，是一套專門檢驗AI獨立科研能力的數學題集。10道題在網上無跡可尋，無法靠背答案作弊，標準高於IMO等傳統競賽。