OpenAI發布數學與理論計算機科學重大研究進展

數學與理論計算機科學的前沿難題，常牽動密碼安全、演算法效率與高維資料分析。OpenAI 於2026年5月曾公布未發布模型推翻 Erdős 單位距離猜想；此次再披露橫跨高維幾何、編碼理論、群論與量子複雜性的成果，凸顯 AI 從解題工具走向研究協作者的潛力。

2026年8月1日，OpenAI 公布下一代模型 Astra 對10項至少十年未有進展的問題提出新成果，包括建構非 sofic 群、推翻 Connes 剛性猜想，以及證明最接近向量問題具多項式因子近似困難度。稱尋得解法按 Sol API 費率約需2,000美元；論證由人員整理成論文，由模型以 Lean 憑證形式化。