AIが数学の未解決問題「リーマン予想」で新発見 5ch「念入りな検証や追試が要る超難問しか残ってない」
姉妹サイトの新着
米AnthropicはClaudeの研究版が、数学の未解決問題「リーマン予想」に関連する新発見をしたと発表した。スレでは、ゼロ点が臨界線上にある割合の下限が41.6%から67.2%に引き上げられたとの指摘がある一方、「AIの発見にしては反応が静かすぎる、宣伝目的では」という懐疑の声も上がった。これに対しては「念入りな検証や追試を挟まないといけない超難問しか残っていないからでは」との見方も示された。
AIが数学の未解決問題「リーマン予想」で新発見 当初苦戦も「諦めないで」との励まし受け Anthropic「AIも自身を過小評価か」
「諦めないで」「自分を信じて」と励ましたおかげで、AIが数学の未解決問題「リーマン予想」に関する新発見をした――米Anthropicは8月10日（現地時間）、このような報告をした。
同社のAIモデル「Claude」の研究版（未公開）で実験した。
「私たちの多くと同様に、ClaudeもAIの進歩の速さを過小評価していたのかもしれない」と指摘している。
（以下略、続きはソースでご確認ください）
出典: itmedia.co.jp / 元記事はこちら
2次元なら2点、3次元でも2点だよね
>>1
>>「リーマン予想」に関する新発見
とは
「“とある直線”上にあるゼロとなる点」の割合は
全体の「少なくとも41.6％ある」＝＞「少なくとも67.2％ある」
おまいはリーマン予想しらないのかw
励ませば頑張る、というよりも
励まさないとあきらめる論理／回路が内蔵されている
ということ
違う
AIは間違ってるだけ
不可能と思うことも含めて
最後に諦める判断をするのは人間
その方面界隈の反応が全然違うよな。
全然、驚きどよめきが起きない、静かってことは
大した発見じゃないのかなっと思ってしなうんだが。
要はAI広告の一環のための宣伝的発見
いやまあ、古くは４色問題を
「コンピュータで総当たりして」検証したことがあるし・・・
それでも「ヤコビアン予想」の反例は結構なインパクトがあったけどな
人間の発見でも大騒ぎになったのはほんの一握りだろ
一旦第三者による念入りな検証や追試を挟まないといけない超難問しか残ってないからじゃなかろうか
数学の未解決問題は細かいの含めるとそれこそ星の数ほどあるよ
そして数学の未知な要素がゼロになることは未来永劫無いと思う
(公理系の中で証明も反証も出来ない未解決の命題が一定数含まれてるかも知れない)
ゲーデルが100年近く前に証明したっけ
数学で未解決問題が尽きることは決して無いって
※失敗と成功した内容と何がきっかけでその数式を使用したかなど
ChatGPTに自分のPC操作履歴を学ばせる機能「Computer History」が登場
2026年08月14日 11時59分
https://gigazine.net/news/20260814-chatgpt-computer-history/
もうとっくにあるでしょ
数学者は数式をlatexで書いてて、コンピューターはlatexを読める
当たるかわかんねーけど、知ってる知識で答えどうなるか試してみるって言う
生物の進化も試行錯誤の一種
核融合発電の実用化が待たれる
他サイトの新着
DeepSeekがAIエージェントのハーネス「DeepSeek Harness」v0.1を公開
2026年08月14日 16時31分
https://gigazine.net/news/20260814-deepseek-harness-v0-1/
数学特化型のプラグ委を作成すればすぐにでも>>1の性能に成るのかな
>数学で未解決問題が尽きることは決して無いって
これは証明する意味があると人間が感じる未証明の問題が無限にあることを意味してると思う
ゲーデルさんが証明したのはやや方向性が違って
人間が証明する意味があると思うかどうかはわからないけど肯定も否定も証明できない問題が広大な数学命題集合の中にはあるということ
完全性の否定
>これは証明する意味があると人間が感じる未証明の問題が無限にあることを意味してると思う
人間がそう感じるには、人間が認識できる有限個の文字を組み合わせた問題の記述がある程度短く（せいぜい1000文字くらい）ないと
いけないので、有限個しかねーよ
数えることは出来ない。
論理でしか完全証明できない。
数学自体を数学し、論理学自体を
論理学するような、思考の高次元化が
必要だと思うね。
>数えることは出来ない。
アレフ・ゼロで数学的帰納法を考えれば数えたのと同じ
というのが数学の本質
数えられる無限と数えられない無限どっちもある
基本中の基本 数学勉強会しようぜ 楽しいよ！
この話題の背景と論点
リーマン予想は「ゼータ関数の非自明な零点はすべて実部1/2の臨界線上にある」という未証明の命題で、全零点のうち何%が確実に臨界線上にあるかという下限値は、20世紀以降、数学者たちが少しずつ更新を重ねてきた領域である。今回の41.6%から67.2%への引き上げも、その系譜上の部分的な前進であり、リーマン予想そのものの証明(100%)とは別物である点は押さえておきたい。
スレでは、AIの発見に対する数学界の反応が薄いことを「宣伝目的では」と疑う声と、「もはや検証や追試に時間がかかる超難問しか残っていないだけ」とする擁護論とで評価が割れた。また「励ませば頑張った」というAnthropicの逸話も、AIに諦めの判断機構が内蔵されていると読む向きと、単に誤った推論の言い換えに過ぎないとする向きが対立している。
なお本文からは、この成果が第三者による査読や形式的な検証を経たものかどうかは読み取れず、AI発の数学的主張は人間の数学者による追試・査読を経て初めて確定するという前提は、記事中では明示されていない。
※本記事は5ch(科学ニュース+)スレッド「AIが数学の未解決問題「リーマン予想」で新発見 当初苦戦も「諦めないで」との励まし受けて」より抜粋・要約して構成しています。
まだコメントはありません。