AI 與世界的難題 ─ 數學
由 AI 推進的科學與學術，依學門分類
RSS 訂閱源 · 3 項
Science · 期刊／科學新聞 · 2026-10-13數學
AI 更接近解開黎曼猜想，這是數學界最困難的問題之一
原標題: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
Nature (machine learning) · 期刊／科學新聞 · 2026-10-07數學
OpenAI 在網路上發布 700 篇數學預印本：數學家群情激憤
原標題: OpenAI posts 700 maths preprints online: mathematicians are up in arms
OpenAI 以一個尚未發布的模型處理數百道備受矚目的數學問題，並於 10 月 6 日在 GitHub 上發布了 700 多篇由 AI 生成的預印本。部分數學家對長年懸而未決的問題獲得解答表示歡迎，也有人在社群媒體上抱怨成果被搶先發表。一位數學家將這波大量湧現的內容稱為「垃圾末日」（slopocalypse），不過這些內容仍有可能在形式上被證明是正確的。
Anthropic · AI 實驗室 · 2026-09-26數學
Claude 改進了黎曼ζ函數零點中滿足黎曼猜想之比例的長期下界
原標題: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
黎曼猜想是一個尚未解決的問題,其內容是黎曼 ζ 函數的零點全部位於某條特定的垂直線上。在嘗試解決這個問題的過程中,一個未發布的 Claude 研究版本雖未證明該猜想,卻改進了一個長期存在的下界,即滿足該條件的零點所占比例,從 41.6% 提高到 67.2%。兩位 Anthropic 的數學家驗證了這篇論文並撰寫了一份非正式的專家說明,Claude 也產出了可形式化驗證的證明。這項成果預期不會促成該猜想本身的證明。