一家新興AI數學創業公司破解四項長期未解的數學問題

AI在高階數學問題上的突破

根據TechCrunch於2026年1月14日報導，自GPT 5.2發布以來，AI工具已開始深入參與高階數學領域，並成功協助解決多項長期未解的數學問題。

一段影片顯示，一臺機器驗證的證明，完全由AI撰寫，展示了AI在創造數學定理證明方面的潛力。

報導指出，OpenAI的GPT 5.2已成功協助解決了15個長期未解的「 Erdős問題」，並在其他數學領域取得進展。

另一則報導提到，數學AI創業公司Logical Intelligence推出新模型，其AI代理「Aleph」能將程式碼轉換為數學證明，甚至可處理數萬行的長篇證明。

一位24歲的創業者Carina Hong，曾放棄斯坦福大學博士班，專注於打造「數學超級智能」，其創辦的Axiom Math公司近期成功募得6400萬美元資金。