要約:
10 日も経たないうちに、数学の世界は究極のジェット コースターを経験しました。 10月6日、OpenAIはAIが準リーマン予想を証明したと主張した。数学者のアレックス・コントロビンは、率直にこう言いました。「もし誰かがこの結果を見つけたら、彼は間違いなく即座にフィールズ賞を受賞するでしょう。心配する必要はありません!
彼は後に、シーゲルなしの0点は「フィールズ賞2つ」として数えられるかもしれないと付け加えた。
他の学者も肯定的にコメントしました。
これは単にシリコンベースの生命体が人間に与えた次元を縮小する打撃です。
しかし、降伏や撤退をしなかった人もいます。
現在、数学者は AI の助けを借りて、一般化されたリーマン予想の何らかの形を証明しました。
わずか数日後、嬉しいニュースが次々と届きました。
この準リーマン予想の結果は、重要な計算複雑性の結果をもたらします。
ブルギッサーは、複雑なフィールドでヴァリアントの予想を証明しました、副大統領! = VNP
その後、3 人の数学者が最終的な勝利を収め、19 年間懸案だった古典的な問題を完全に解決しました。
そして彼らは次のような声明も残しました。
この作業では人工知能ツールは使用されていません。
この作業では人工知能ツールは使用されていません。
一晩中攻撃してください！人類が主導権を取り戻す
10 月 6 日、OpenAI にはひらめきやひらめきはありませんでした。彼らの AI はスーパー ブルドーザーのようなもので、準リーマン予想を暴力的に証明しました。
数論者のヘクター・パステン氏は、ランダウ・シーゲル零点を除外したOpenAIの結果に明白な驚きを表明し、これは単なる進歩ではなく「解決された問題」であると強調した。
一部のネチズンは、Claude Fable 5.5 に OpenAI の 199 ページの準リーマン予想の証明を説明するよう求めましたが、その評価は非常に高かったです。
これは、ゼロ点のない初めての固定間隔です。
これはリーマン予想そのものではありませんが、この記述が真実であれば、現時点ではリーマン予想に最も近い結論になります。
しかし、AI がこのレベルの基礎構造さえも見破ることができるとしたら、人間の数学者にどんな価値があるでしょうか?
数学界にパニックが広がる。
しかし、真のマスターは嘆くことはありません。道が開けたらアクセルを踏んで前に進みましょう！
わずか 6 日後の 10 月 12 日、新しい論文がプレプリント プラットフォーム Hexagon に突然掲載されました。
著者は人間の数学者であるキュアトンとソーナーです。
リンク: https://hexagonmath.org/2610.00200v1
彼らには春と秋を嘆く暇はありませんでした。その代わりに、彼らは非常に悪意のある目で大胆な行動をとりました:
Pan。
彼らは、AI によって磨かれたツールを、より広範で複雑な数学的オブジェクト、つまり
有限次ヘッケ L 関数
に直接適用しました。 。L 関数とは何ですか?リーマンゼータ関数の「究極進化版」です。
現代の整数理論では、フェルマーの最終定理などの偉大な証明は整数理論からほぼ切り離せません。
キュアトンとソーナーは、AI が提供する準リーマンブレークスルーを利用して、驚くべき結果を達成しました。
すべての有限次数 Hecke L 関数には、「1-1/6000」の右側にゼロがまったくありません。
リンク: https://hexagonmath.org/pdf/2610.00200v1
理解できなくても大丈夫です。例えて言うと。
ゼロポイントは海のサンゴ礁のようなものです。
かつてこの海域は霧に覆われ、船の移動が困難でした。さて、二人の数学者がAIレーダーを使って強制的に「安全地帯」を描いた。
この地域にはサンゴ礁がまったくありません。
安全ゾーンが確立されます。最初の領土は人間によって奪われました。
しかし、楽しいことはまだ始まったばかりです。
エクストリーム フューリー: エクストリーム 絞殺 (1/6000 から 1/32)
1/6000 が登場した瞬間、世界中の数学オタクの DNA が動きました。
これは小さすぎます。保守的すぎる。
ドア枠がすでに緩んでいるので、壁も取り壊してみてはいかがでしょうか。
オープンソースのハッカソンは世界中を席巻し、瞬く間に爆発しました。
世界で最も賢い頭脳はインターネットを通じて接続され、この定数を限界まで絞り込み始めます。
これは現代数学で最も情熱的なシーンであり、集団絞殺が始まります。
ロジックは容赦なく合理化されています。エラーは骨が取り除かれ、肉付けされます。境界は何度も外側に押し広げられます。
1/1000。 1/500。 1/100。
定数は自由落下のように急激に縮小します。
最終的に、コミュニティ全体がこの「ゼロ ポイント フリー ゾーン」の安全保障境界を非常に誇張された数字、
1/32
で定めました。 。
安全地帯は何百倍にも拡大されました。
間違いを犯すのが怖いですか?人間の直感は信頼できないのではないかと心配ですか?問題はありません。マシンに直接行って確認してください。
オープンソース コミュニティは、最も冷酷な審判者、
リーン定理証明者
を使用しました。 。これは、無効なロジックのみを受け入れる形式的な検証言語です。論理的な小さなギャップがあると、プログラムがクラッシュする原因になります。
関連する証明は、オープンソース Github にある数学エージェント AxiomProver によって生成された正式なリーン証明です。
https://github.com/AxiomMath/DedekindZetaZeroFree
1/32 の境界は人間によって推定されるだけでなく、機械のロジックによっても確立されます。
副産物はこれだけではありません。
一刀で喉を封じろ！ 19 年間の未解決の問題が一掃されました
今日はあらゆる準備とカーニバルがこの瞬間を待っています。
arXiv プレプリント プラットフォームで、Frei、Somos、Widmer の共同署名による大ヒット論文が公開されました。
https://arxiv.org/abs/2610.18491
OpenAI によって引き起こされた学術津波は、ついに最も硬い岩を砕きました。
ターゲット:
2007 年のエレンバーグとベンカテシュの境界。
これは代数的整数論にとって厄介な問題です。
2007 年、2 人の数学の巨人が数体群 ℓ ねじれに対する極めて完璧な極限を与えました。
しかし、これには致命的な欠陥があります。
条件付きです。
いわゆる「空中城塞」です。この 2 人の大物の証明は、「一般化リーマン仮説 (GRH) が確立されている」という前提に基づいている必要があります。
前提が崩れると、結論は即座に無効になります。
過去 19 年間、数え切れないほどの一流の学者がこの松葉杖を取り除き、立ち上がろうと努力してきました。全部失敗した。工具がないからです。下地の岩盤がまだ掘り出されていないからです。
今日まで。
フライ、ソモス、ウィドマーは、前のグループが掴んだ「1/32 安全地帯」を目撃しました。
これが彼らが 19 年間待ち望んでいた基地です!
三人の剣士はためらうことなく、88本の剣を抜きました。
彼らは、最新のゼロフリー領域の結果を古い方程式に叩き込みました。一度壊れていた論理的な鎖は、強力な新しい理論のサポートにより、瞬時に結合します。
導出。簡素化します。キラー。結論は驚くべきものです。
2007 年に、エレンバーグ – ベンカテシュの数体群の ℓ ねじれ境界が無条件に証明されました。
これ以上の仮定は必要ありません。もう前提条件はありません!空中城塞は突如として地上に落下し、不滅の鋼鉄の要塞と化した！
19 年間の幽霊は一掃されました。
代数的整数論の中核となるパズルのピースは、人間によってしっかりと完成されました。
AI は役に立たない
話がここだけで終わるのであれば、これは単に大成功した学術リレーにすぎません。
しかし、この論文を本当に魔法のようにしているのは、最後の文です。
この 19 年間の問題の終結を発表する章の最後で、フライ、ソモス、ウィドマーは、AI に対する長々とした嘆きや賛辞を表明しませんでした。
彼らは、冷たくユーモラスでやや無慈悲な声明だけを残しました。
この作業では人工知能ツールが使用されていないことを宣言します。
もちろんです。
この文は顔を大声で平手打ちするようなものですが、長くて陽気な雄叫びのようなものでもあります。
コメント