人工智慧系統已成功證明關於邊不平衡序列是否為圖形的「不平衡猜想」，並推翻了特施納的「束縛數猜想」。特施納的猜想曾提出圖的束縛數恆小於或等於其最大度數的 1.5 倍，但此界限隨後被推翻。

這項成就標誌著人工智慧輔助數學的重要里程碑，證明大型語言模型與自動化定理證明器能夠以嚴謹的形式化方式處理圖論中複雜的組合問題。不平衡猜想由 Kozerenko 和 Skochko 於 2014 年首次正式提出。

事件背景

圖論是數學的一個分支，研究由頂點和邊組成的圖結構。不平衡猜想涉及圖中邊不平衡的多重集，驗證其是否與某個圖的度序列相符。束縛數衡量移除後能使圖的支配數增加的最小邊數，反映其結構韌性。

社群觀察

社群對人工智慧在圖論和組合數學中的潛力表示興奮，有評論者指出該領域非常適合應用大型語言模型。另一位用戶幽默地評論了數學證明中的競爭性質，其他人則對這項成就表示祝賀。