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