24 年鑽研 Barnette 猜想者稱它已在 openai/math 被證明
在 Hacker News 關於 openai/math 的討論中，Jake Boggan 稱自己斷續研究了 24 年的 Barnette 猜想似乎已被證明，編號是 problem 180。他早年沉迷圖論，曾搬到布達佩斯跟隨名家學習，期間開始做這個問題，前後投入數千小時，去年夏天還一度以為是自己解出來的。得知結果後，他說不知道該怎麼想，這種感受像聽說前女友突然死於車禍，並猜當晚不少人心情複雜。
原標題：Quoting Jake Boggan
閱讀原文
| 評分 | 42 / 25（平均 33，門檻 65） |
|---|---|
| 狀態 | 未入選 |
相關報導
OpenAI 發布 722 篇數學論文，來自未公開內部模型
OpenAI 在公開 GitHub 倉庫發布 722 篇數學手稿，稱其來自一個未發布的內部前沿模型。這批結果出自約 4000 道研究問題的評估，分成 372 個結果族，平均每個結果消耗約 3 小時 ChatGPT Pro 算力，發布內容含論文、證明產物與部分推理摘要，模型本身不公開。OpenAI 稱發布方式諮詢過高等研究院的數學與 AI 獨立顧問組，Sam Altman 稱之為“發現的新紀元”。
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。
@AIatMeta: 4️⃣ Optimization: When can you replace a hard math problem with a simpler one without losing anythi…
Meta AI 在社交平台介紹了一項最佳化領域的新研究：研究者與 Muse Spark 合作，證明了一條明確規則，用於判斷某個簡化在什麼條件下能精確還原原始數學問題、在什麼條件下會留下差距。該結果針對的是用更簡單問題替換困難數學問題的場景，論文連結已隨帖文給出。
Meta 與 Muse Spark 合作推進數論與弦理論聯絡
Meta AI 研究人員與 Muse Spark 合作，將數論中的一個想法與弦理論中的一項計算聯絡起來，證明該聯絡在比此前已知更多的情況下成立。這項工作建立在 1980 年代的想法之上，論文已在 Meta AI 研究頁面發布。