OpenAI 公布 377 種新解答，解決開放高階數學題目

位於舊金山的人工智慧領導者 OpenAI 公布了一套完整的 377 個成果，針對先進數學中的開放問題進行了解決。這些發現涵蓋了複雜的理論領域，包括代數、數論、組合數學以及理論計算機科學，標誌著這家知名生成式 AI 開發商在正式數學推理與自動發現方面的重大方法性突破。

此次發布基於公司多年快速能力擴張的成果，自 2022 年底推出旗艦 ChatGPT 平台以來，OpenAI 已鞏固其在全球科技領域的主導地位。由 CEO Sam Altman 領導的公共利益公司，已從 2015 年作為開源研究非營利組織的起點，演變為由 Microsoft 等主要企業合作夥伴支持的商業巨頭。在今年早些時候完成大規模重組並以 8520 億美元的後市估值後，OpenAI 繼續擴大其技術足跡，從對話介面與程式碼助手擴展至基礎科學研究。

傳統上，人工智慧系統在模式識別、自然語言生成與資料處理方面表現優異，但在高等數學所需的嚴謹多步推理上往往面臨挑戰。解決數論與組合數學等領域的開放問題需要絕對精確，任何邏輯步驟的錯誤都會使整個證明失效。透過展示在這些嚴格領域產生新成果的能力，舊金山公司正表明其正朝向能夠處理抽象符號問題解決與機率語言生成並存的系統發展。

數學與學術界對將生成式 AI 融入正式研究保持謹慎但高度興趣。傳統數學家依賴人類直覺、同行協作與細緻的證明驗證，而 AI 驅動數學的倡導者則主張神經網路能夠探索遠超人類認知極限的龐大組合搜尋空間。然而，驗證仍是核心難題；機器生成的證明必須經過嚴格的同行評審與透過證明助手進行形式驗證，以確保其正確性，這意味著這些新輸出將面臨學術專家的高度審查。

對於更廣泛的印太地區與全球高科技供應鏈而言，機器推理的進步帶來深遠影響。隨著基礎 AI 模型從生成文本轉向解決複雜科學與工程問題，對高效能計算基礎設施的需求—尤其是高度依賴台灣製造生態系統的先進邏輯半導體與記憶體元件—將持續加劇。自動化數學與科學推理的突破最終可能加速關鍵領域的研發週期，涵蓋從密碼學到材料科學等範疇，直接影響該地區先進經濟體的技術安全與經濟競爭力。