Claude AI 挑戰黎曼猜想失敗，但意外將數學界 46 年嘅下限由 41.6% 推上 67.2%

Claude 結合咗邊啲技術？

Claude 嘅突破在於將兩個之前冇人成功結合嘅研究方向連埋一齊：

• 2023–2025 年嘅最新研究（Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh）： 呢幾位數學家嘅一系列論文，成功將 Montgomery 嘅「對相關方法」由原本需要假設黎曼猜想成立，變成可以「無條件」使用 。
• 2000 年 Bombieri 嘅論文： 提供咗另一套補充性嘅解析數論技術 。

Claude 嘅關鍵洞察係：將 整個函數空間 用 Weil 引出嘅二次型式處理，同時考慮正定同負定子空間（分別對應零點喺臨界線上同線外），並且容許二次型式係 非對角線 嘅。呢個做法令佢可以寫出一個利用一階同二階動差資訊嘅秩不等式，從而推導出呢個新嘅下限 。

重點係：呢個突破嚟自 將兩個現有嘅研究結果跨領域連埋一齊，而唔係發現全新嘅數學 。

驗證同注意事項

• 內部驗證： Anthropic 嘅數學家 Levent Alpöge 同 Ralph Furman 已經仔細研究過並確認咗 Claude 嘅論文 。
• 外部專家審閱： 呢個領域嘅兩位頂尖專家 Brian Conrey 同 Dan Goldston 喺短時間內審閱咗呢個結果，並確認其正確性 。
• 形式化證明： Claude 同員工 Eric Easley 合作，用 Lean 驗證工具製作咗一個形式化證明，並通過咗標準嘅 Lean 驗證程序 。
• Anthropic 嘅提醒： 「我哋唔認為 Claude 用嘅呢啲技術會導向證明到黎曼猜想」——呢個進展係有意義嘅，但係有限嘅，並唔係通往完整猜想嘅路徑 。