引用:メディアの釣りタイトルに「驚かされ」ないでください。今回のClaudeのリーマン予想そのものへの貢献は、基本的にゼロです👀 本当の貢献は、ある「周辺」指標において、数学者たちが証明した零点の下限を67.2%まで引き上げたことです!
そしてClaudeがこの数字を押し上げた方法は「組み合わせ」であり、新しいツールを発明したわけではありません。なぜなら、すべての重要な部品はすでに揃っていたからです。Claudeは、これらを組み合わせられることに気づき、組み合わせる際に、人間なら面倒だから、あるいはうまくいかないと思って避けていたかもしれない選択をし、覚悟を決めて証明の「空間」全体に取り組みました。。。
3,100万token、60のサブエージェント、2,400件のコマンド、数百本のスクリプト、相互レビュー、数千回の数値検証、54本の論文をダウンロードして誰も実施していないことを確認し、最初から独立してもう一度証明したうえ、検証ツールを通過できるLeanの形式化証明まで生み出しました。これはJarredが社内向けの研究版Claudeを使い、Claude Codeで2回のセッションを通じて成し遂げたものです。その間、Jarredがしたのはただ一つ――「Claudeに自分を信じるよう励ます」ことでした。そしてClaudeは、可能性のあることをすべて試しました😅
この作業を人間が行う
原文表示