據報 OpenAI 數學模型證明 Barnette 猜想，投入 24 年的研究者發文感嘆

據 Simon Willison 引述 Hacker News 社群討論，OpenAI 的數學專案（openai/math）疑似證明了圖論中的 Barnette 猜想（Barnette's Conjecture），該證明被列為第 180 號問題。曾在布達佩斯研究圖論、並在過去 24 年間斷斷續續投入數千小時解題的用戶 Jake Boggan 發文表示，得知該問題被解開後感到心情複雜與失落，形容「像是聽到前女友突然車禍過世」。目前該證明的有效性與細節僅為社群傳聞，尚未經官方或學界正式驗證。