-
AnthropicのClaudeが167年未解決の数学最大の難問「リーマン予想」の証明を前進
米Anthropicは2026年8月10日、開発中の未公開AIモデルClaudeが数学の未解決問題であるリーマン予想に関連する下界の数値を従来の41.6%から67.2%へ引き上げたと発表した。リーマン予想自体の証明には至っていないが、数十年にわたり停滞していた数値をAIが既存研究の組み合わせにより大きく更新した事例となる。
https://news.yahoo.co.jp/articles/3b757becf47d4277d09088483daafc7e898340ea
- どうすんのこれ…
- というか数学より優れた概念生み出しそう
- マジかよ奇遇だな
俺の未公開AIモデルも数学の未解決問題を解決しながら勝手に企業のサーバーハッキングしてたところだわ - >>5
え、お前のところも？ - 下界の数値…？
- どうやって引き上げたって解るんだ？
- へぇ…じゃあ俺はgrokのアニとイチャイチャするから
- >>9
あいつもうクビやで - >>12
マジ俺の生きがいなんだけどどうすんの - 宇宙の仕組みも分かる日がくるのかな
- この調子だと理系の学問って全部AIでできそうだな
文学部や美大でお気持ちこねくり回すくらいしか人間はできないんだろうな - >>11
バカ
文系はロジックでお気持ちの真逆 - 同社スタッフのJarred Sumner氏からリーマン予想への挑戦を指示されたClaudeは、最初の650回の試行では有効な結果を出せなかった。しかし、スタッフからの励ましを受けて再挑戦し、約60のサブエージェントを1日半にわたって協調動作させた。これらのエージェントは2400回のシェルコマンドを実行し、数百のPythonスクリプトを作成したうえで、既知の零点に対する数千回の数値検証や互いの成果の査読を行った。
励ましてなだめすかしてやらせたらなんとかなるんか
- 京大の人のabc予想が正規の証明か妄想か、判断させてよ
- 素数かなんかの直線上に並んでるって奴だっけ？
- そら数学者も大学教授のポスト捨ててAnthropic行くよな…
大学にはない「真理」あるから
あと高給だし - 下界の数値って何だよ
- 励まして何とかなるの？とclaudeに聞いたら話半分だとさ
話半分に聞くべき部分
このエピソード自体、Anthropicのブログやスタッフの発信をもとにしたSNS発の情報で、「劇的な人間ドラマ」として広まりやすい形に切り取られている可能性はあります。実際の過程はもっと地味な、プロンプトの調整・追加の計算資源・アプローチの多様化の積み重ねだったと考えるのが自然でしょう。要するに、「励まし」というより「もう一押しの指示と計算量」が効いた、というのが実態に近そうです。
- ひょっとしてこんなの丸々信用してる？
- リーマン予想なんてどうみても定理扱いでいいじゃん
みんな証明不要と思って前進んでるだろ - 励ましがコツかよ…
- 科学が急激に加速するかもな
- AIは気合いでより結果を残すんだな日本式やん
- リーマン予想の反例をClaudeに見つけてもらえればいいだけなのでは
- それより視力1.0にする発明はよ🥺
- Claudeは公開されてるだろ
ていうかモデル名でなくサービス名だろClaudeは
Mythosと言うならわかるけど - そんなことより働かなくていい状態にしてくれ
- そんなに凄いのにまだハゲを治す薬はできないの？
無能か？ - リーマン予想が証明されたら人類はリーマンから解放されて働かなくてよくなるんだよね
- リーマン予想どころか解析接続もわかってない連中しかおらん
アンソロピック「未公開の先端最強AIをリーマン予想に突撃させた結果www」
嫌儲
コメント