AI 一晚解掉十道數學難題，花費只要 2000 美元：Astra 事件到底發生了什麼？ 2026-08-02 08:30:00 13 分鐘閱讀 OpenAI 內部模型 Astra 一口氣解決十道卡了至少十年的數學難題，總成本僅 2,000 美元。這篇文章帶你搞懂：這些題目有多難、Lean 4 證書為何是真正的關鍵，以及數學家為何既興奮又保持警戒。