OpenAI、80 年前の数学的難問を解決したと主張

OpenAI は、その新しい推論モデルが、1946年にポール・エルデシュによって初めて提示された幾何学における有名な未解決予想を否定する独自の数学的証明を生み出したと主張しています。 これが聞き慣れた話に聞こえるなら、それは OpenAI がこのような大胆な主張をしたのが今回が初めてではないからです。7 ヶ月前、同社の元 VP ケビン・ワイルは X で「GPT-5 は 10 (!) の未解決だったエルデシュ問題の解を見つけ、他の 11 問についても進展を遂げた」と投稿しました。 結果として、GPT-5 が実際にその問題を解決したわけではなく、既存の文献にすでに存在する解を見つけたに過ぎないことが判明しました。 ヤン・ルカンや Google DeepMind の CEO デミス・ハサビスといったライバルからの挑発が続いた後、ワイルはすぐにその早急な投稿を削除しました。少なくとも今日は、OpenAI が同じ過ちを二度と繰り返さないようです。発表に併せ、同社は Noga Alon、Melanie Wood、Thomas Bloom といった数学者たちによる否定の支持コメントを[補足 remarks](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf)として公開しました。Bloom 氏は「エルデシュ問題」ウェブサイトを運営しており、以前にワイルの投稿を「劇的な誤った表現」と呼んでいました。 「約80年にわたり、数学者たちは最良の解はおおむね正方形の格子状に見えるものだと信じていました」とOpenAIはX（旧Twitter）に投稿しました。「しかし、OpenAIのモデルがその信念を反証し、より優れた性能を発揮する全く新しい構成のファミリーを発見しました。」 同社はこれが「AIが数学の分野の中核となる主要な未解決問題を自律的に解決した初の事例」と述べています。OpenAIによると、この証明は数学問題や特に本件のような特定の課題を解くために特別に設計されたシステムではなく、新しい汎用推論モデルから導き出されたものです。 OpenAIはこれが重要である理由は、AIシステムがこれまでに研究者が探索していなかった方法で、長く困難な推論の連鎖を維持し、分野を超えてアイデアをつなぐ能力が高まったことを意味するからです。これは生物学、物理学、工学、医学にも影響を及ぼします。 「AIは、私たちが数世紀にわたって築き上げてきた数学という大聖堂をより完全に探求することを助けています」とブルーム氏は声明で述べました。「他にどのような見えない驚異が待っているのでしょうか？」 *当記事内のリンクを通じてご購入いただいた場合、[私たちは少額のコミッションを獲得する可能性があります](https://techcrunch.com/techcrunch-affiliate-monetization-standards/)。これは当社の編集の独立性には影響しません。* レベッカ・ベランは、テクノロジー業界のビジネス、政策、そして人工知能を形作る新興動向を取材するテッククルンチのシニア記者です。彼女の作品はフォーブス、ブルームバーグ、ザ・アトランティック、ザ・デイリービーストなど、他の出版物でも掲載されています。 レベッカへの連絡や、彼女からのアウトリーチの検証は、rebecca.bellan@techcrunch.com 宛てにメールを送るか、Signal のユーザー名 rebeccabellan.491 経由で暗号化メッセージを送ることで可能です。 [プロフィールを見る](https://techcrunch.com/author/rebecca-bellan/)

OpenAI、80 年前の数学的難問を解決したと主張

背景や根拠まで確認しますか？

調べる

選ぶ

サイト