數學研究的邊界正在被重新定義。最近，一項名為Astra的新一代模型展示了其在處理極度複雜邏輯方面的驚人天賦。通過對該模型的評估測試，研究人員一口氣拿出了10項重要成果，每一項都針對數學或理論計算機科學領域中長期懸而未決的難題,。
這些突破並不局限於某個細分學科，而是跨越了高維幾何、編碼理論、算術電路複雜度、群論、算子代數、量子複雜度、格密碼學以及極值組合數學等多個專業領域。對於相關的學術社區來說，這些問題具有極高的研究價值，其中幾項成果更是引起了整個數學界的廣泛關注。
這十項成果分別包括：
1.高維球體堆積問題取得新的密度上界，並逼近 Cohn–Elkies理論極限。
2.二元編碼與球面編碼獲得新的規模上界，其結果相比過去實現指數級提升。
3.首次構造出非 Sofic群，為群論中的一個核心開放問題提供了答案。
4.推翻了 Connes長期提出的剛性猜想，證明某些群並不能僅憑馮·諾依曼代數唯一確定。
5.算術電路複雜性取得新的下界結果，為永久式計算問題提供了更強的理論限制。
6.建立了適用於一般雙人量子博弈的指數級並行重複定理，把經典複雜性理論的重要原則推廣到量子領域。
7.證明了最近向量問題具有多項式因子近似困難性，為後量子密碼學中的格理論提供了新的理論基礎。
8.解決了 Ehrhart體積猜想，在任意維度下確定了滿足特定條件的凸體最大體積。
9.獲得多色 Ramsey數新的超指數級下界，解決了 Erdős第183號問題。
10.在極值圖論中解決了緊緻性猜想和退化猜想，對 Erdős第146號和第180號問題給出了答案。
早在2026年5月，該系統在評估過程中就曾意外發現並推翻了Erdős單位距離猜想。這一發現不僅證明了AI在輔助科研方面的巨大潛力，也為數學家和計算機科學家提供了全新的研究視角。
在技術實現上，這10個問題的解法是由Astra的內部版本自主推導出來的。令人驚訝的是，找到這些複雜解法所需的計算資源折算成API費率，大約只需要2000美元。在得到核心論證後，研究團隊在同一模型的協助下，將這些邏輯推導整理成了學術手稿，並隨後由模型在Lean證書系統中完成了嚴密的形式化驗證。
（示意圖）
面對AI介入科研帶來的倫理和學術界定問題，研究團隊採取了非常嚴謹的態度。目前，學術界對於人工智能所扮演的角色看法不一，包括萊頓人工智能與數學宣言的簽署者在內的許多專家，都對這種技術轉變可能產生的影響表達了深切關注。
為了保持科研的真實性，團隊強調論文的歸屬必須誠實地反映研究成果產生的方式。如果將AI獨立生成的證明完全包裝成人類的原創成果，不僅誤導了外界對系統能力的認知，也抹殺了人類智力勞動的獨特性。雖然數學推導的核心邏輯是由系統自主生成的，但人類研究員負責了論文的準備、證明的形式化驗證，並對結果的正確性承擔最終責任。
