← AI 動態
Simon Willison
OpenAI新模型破解十大數學難題，數學界迎來深藍時刻
OpenAI 運用代號 Astra 的新一代模型，成功解開停滯十年的十大數學難題。此突破展現了 AI 驚人的深度推理能力，更讓全球數學界深受震撼。
OpenAI
邏輯推理
AI能力邊界
繼 Anthropic 日前運用 Claude 找出密碼學漏洞後，OpenAI 也不甘示弱，展現了新一代內部模型「Astra」的驚人實力。該模型成功解開了十個過去十年間毫無進展的數學與理論電腦科學難題，且每題耗費的運算成本不到兩千美元。OpenAI 甚至在 GitHub 公開了這些解答的 Lean 4 形式化證明與 AI 推理過程的完整紀錄。
這項突破意義重大，代表 AI 已不再侷限於日常對話與基礎程式生成，而是具備了深度邏輯推理與攻克人類頂尖未知難題的能力。對一般大眾與各產業而言，這意味著未來 AI 將能作為「超級協同研究員」，協助解決新藥開發、材料工程等領域的複雜問題，大幅加速科技進展；同時也象徵著 AI 的能力邊界正被急速推展，人類專家的知識工作模式即將迎來典範轉移。