AIにリーマン予想への挑戦を頼んだところ証明はできなかったものの、副産物としてゼータ関数のゼロ点が臨界線上にある割合の下限を41.6%から67.2%に押し上げました。60体のサブエージェントを動かし、Leanでの形式検証も経て、数学者が実際に検証した結果です。半世紀かけて8ポイントしか動かなかった壁を、たった二回のセッションで飛び越えた話です。
〇Learning more about Claude's mathematical capabilities（2026年8月10日）
https://www.anthropic.com/research/riemann-zeta
#数学翻訳家 #数学の翻訳家 #AI #Anthropic #Claude #リーマン予想 #リーマンゼータ関数 #素数 #数論 #未解決問題 #証明 #Lean #形式検証 #数学 #人工知能 #サイエンス #科学ニュース #研究成果 #臨界線 #サブエージェント #モリファイア法 #モンゴメリー予想 #数理科学 #数学者 #ミレニアム懸賞問題
感想
まだ感想はありません。最初の1件を書きましょう！
スクロール