數學家專訪披露 OpenAI 與 Anthropic 之爭；OpenAI 聲稱邁向千禧年數學難題新突破
為何重要
此事件標誌著 AI 發展正從自然語言生成邁向硬核科學證明階段，驗證了龐大算力可直接挑戰人類兩千年來的數學難題，同時也揭示了開源 vs 閉源之間，權力可能掌握在擁有巨額資本的科技巨頭手中，學術界的參與模式將因此重組。
數學家 Tristan Buckmaster 披露介入 OpenAI 與 Anthropic 的激烈競爭，起因在於 OpenAI 動用驚人運算資源搶先達成關鍵證明的研究路徑。OpenAI 官方表示在另一道千禧年數學難題上取得進展。Buckmaster 本身正專注於數學證明，卻目睹先進模型捷足先登。
- 數學家 Tristan Buckmaster 被迫介入 OpenAI 與 Anthropic 之間的權力與資源之爭。
- 門檻高深的數學證明成為頂級 AI 公司競相追逐的焦點。
- AI 巨頭利用巨量資源搶先取得 Buckmaster 研究路上的重要究竟。
- OpenAI 宣佈已在另一個千禧年大獎數學難題上取得進展。