AIが数学の未解決問題「リーマン予想」で新発見　当初苦戦も「諦めないで」との励まし受けて [すらいむ★]

AIが数学の未解決問題「リーマン予想」で新発見　当初苦戦も「諦めないで」との励まし受け　Anthropic「AIも自身を過小評価か」

　「諦めないで」「自分を信じて」と励ましたおかげで、AIが数学の未解決問題「リーマン予想」に関する新発見をした――米Anthropicは8月10日（現地時間）、このような報告をした。
　同社のAIモデル「Claude」の研究版（未公開）で実験した。
　「私たちの多くと同様に、ClaudeもAIの進歩の速さを過小評価していたのかもしれない」と指摘している。

（以下略、続きはソースでご確認ください）

[ITmedia]　2026年08月13日 08時00分
https://www.itmedia.co.jp/aiplus/article/2608/13/2000000511/

>>91の本文の内容でお墨付きだからな

>>第三者機関のArtificial Analysisが性能分析結果を2026年8月17日に公開し、Qwen3.8 27Bがローカルで動くオープンモデルでありながらGPT-5.6 Terraといったクローズドモデルに匹敵する性能を備えていることが明らかになりました。

24時間TVのマラソンランナーか

>>1の計量版が出たのでパソコン性能と電気代を気にする必要は無くなったのか！

◇下記のAIはローカルで動作するのではないのか
※殺人組織が使用しているAIは昔から超軽量だったことが露呈しました
AIモデル「Ornith-1.5」が登場、Claude Opus 4.8級の大型モデルからスマホ動作可能な軽量モデルまで網羅したオープンモデル
2026年08月20日 10時57分
https://gigazine.net/news/20260820-ornith-1-5/
>>Ornith-1.5-397Bは総パラメーター数3970億のMoEモデルです。「Ornith-1.5-397B」「Ornith-1.0-397B」「DeepSeek-V4-Flash-0731」「GLM-5.2」「Claude Opus 4.8」の各種ベンチマーク結果が以下。Ornith-1.5-397Bは複数のテストでClaude Opus 4.8を上回っています。
>>Ornith-1.5-35B-A3Bは総パラメーター数350億・アクティブパラメーター数30億のMoEモデルです。「Ornith-1.5-35B-A3B」「Ornith-1.0-35B-A3B」「Qwen3.6-35B-A3B」「Muse-Glimmer-30B」「Gemma-4-31B」の性能比較結果が以下。Ornith-1.5-35B-A3BはMoEモデルでありながら、DenseモデルのMuse-Glimmer-30BやGemma-4-31Bを上回っています。
>>Ornith-1.5-9Bはパラメーター数90億のDenseモデルです。「Ornith-1.5-9B」「Ornith-1.0-9B」「Qwen3.5-9B」「Qwen3.6-35B-A3B」「Gemma-4-31B」を比べた結果が以下。Ornith-1.5-9Bはパラメーター数の大きなGemma-4-31Bをほとんどのテストで上回っています。また、「Ornith-1.5-9B-Mobile」というスマートフォンでの動作を目的とした量子化版も存在するとのこと。
>>Ornith-1.5はMIT Licenseの下でオープンモデルとして公開されています。各種モデルはHugging Faceで配布されており、Ornithによる量子化版も同日に公開されています。

その性能ってのが人間で言う知能指数やIQっていう性能の速さでしか無くて
高いほど頭いいわけじゃない上に情報を捨てることで高速化するから
結果的に決まった　決まってる回答しか出来ないわけで
本質的に求められる創造性がなければAIとしての価値がない
同じコストで同じ情報量なら低速無ほど同時に扱っている潜在的な情報量は多いのは
量子コンピュータと同じだから

AIが生成した証明を人類が理解できなくなった時が怖いな。
正しいのか間違っているのかすらも分からないままそれを使う事になる。

アドルフヒトラーはアヘン戦争を、
否定していない
シンガポールと、
シンガポールの大学。

>>96
数値計算の世界ではとっくに諦めてる
昔は計算は人間が個々の値の意味を全て理解して行うものだった
今シミュレーションでそんな事考えるやつはいない

>>98
数値計算では、どういう条件で解が安定か仔細にわかってるから、その範囲で使ってるだけで、結果はもちろん信頼できる

AIでは、そんな条件がわかってない、ってか、そもそも存在しねーわな

>>98
ガウスの三百万台の素数を10代で計算してた話聞くと、一流の手計算の量は尋常じゃないね
関孝和や伊能忠敬も尋常じゃない数を計算してるはず。
自分で計算してさらに抽象化して法則見つけてんだもんあいつら。

>>96
形式的証明も提示してくれるから心配するな
過程を全て把握と安心できないならコンピュータなんか使えないしそれどころか外食すら出来ないしもっと言えば鶏肉も買えない

我々は様々な生物を利用しているが、生命の仕組みを完全に理解しているとはとても言えない

仕組みを決めるのは利用する側の問題

>>1
どゆこと？　はげませばがんばるというのが新発見？