独学の臨床医と16時間に及ぶAIセッションが、応用数学の未解決問題の一つを解決した。

by アリサ・デビッドソン

公開日: 17 年 2026 月 8 日午前 32:17 更新日: 2026 年 8 月 32 日午前 XNUMX:XNUMX

by アナスタシア・O

編集および事実確認: 17 年 2026 月 8 日午前 32:XNUMX

簡単に言えば

北京の脳神経外科医は GPT-520年前の数学の予想を証明するために6という数字が使われたことは、研究を生み出し、検証できる人物に変化が生じていることを示している。

独学の臨床医と16時間に及ぶAIセッションが、応用数学の未解決問題の一つを解決した。

北京協和医科大学病院の博士研究員で脳神経外科研修医のシャンム・ジンは、20年以上未解決だった行列解析の問題であるクルーゼックス予想を証明した。決定的な議論は数学科から出てきたものではなく、16時間にわたる自律的な実行中に明らかになった。 GPT-5.6ソル内部 ChatGPT ジン自身が設計した、綿密に設計された指示に従って作業モードに入る。

ジンは非線形的な経路を経てこの問題にたどり着いた。学部時代は地質学を専攻していたが、後に医学の学位を取得し、当初は経頭蓋超音波の研究に触発されて独学で数学の知識を深めた。2004年に定式化されたクルーゼックス予想は、行列のスペクトルノルムと、その数値範囲（複素平面上のコンパクトな凸領域で、固有値だけよりも行列の挙動をよりよく捉える領域）における多項式の最大値との関係に関するものである。この予想の解決は、行列関数の解析、GMRESなどの反復ソルバー、および有理クリロフ法に直接応用できる。

ジンはモデルにインタラクティブに指示を与えるのではなく、あるプロンプトアーキテクチャを応用した拡張自律セッションを実行した。 OpenAI 以前の数学的成果であるサイクル二重カバー予想のために開発されたもの。設定により、モデルはインターネットにアクセスできなくなった。競合するサブエージェントが独立して異なる証明戦略を開発およびストレステストするよう指示され、時期尚早な収束に対する明確な指示と、具体的な反例によってのみ候補となる議論を反証するという要件が与えられた。モデルは、完全な証明が内部の敵対的レビューを通過するまで継続するように指示された。結果として得られたプレプリントは、2026年7月27日に公開され、完全なプロンプト、連続するドラフト原稿、リーン形式化、および公理監査が含まれている。

同僚からの評価と、今や誰が数学を学んでいるのかという問題

この証明は、コーネル大学の数学者アレックス・タウンゼント、数値解析学者アン・グリーンバウム、そして予想の原著者であるミシェル・クルーゼイ本人によって検証され、確認された。正式な査読は現在も進行中である。最初のプレプリントが公開されてから8日後、数学者のエミール・ロリストとフェリックス・シュヴェニンガーは、古典的な二重層ポテンシャル理論と2次元拡大の摂動補題を組み合わせた別の方法を用いた5ページの独立した証明を公開した。ジンはこの並行した結果を自身の研究の補完として歓迎した。

この出来事は、数学研究における無視できない構造的変化を浮き彫りにしている。2004年から未解決だった問題が、独学でAIツールを習得した臨床医によって解決されたことで、新たな研究成果を生み出すための障壁は大幅に低下する一方、その結果を検証するために必要な専門知識は、より集中し、より価値が高まることになる。

人工知能分野にとって、この事例は、適切に構造化された自律的なタスクと十分な計算時間が与えられた場合に、最先端の言語モデルが何を実現できるかを具体的に示すものとなる。数学界が、今後発表されるであろう膨大な量の成果を吸収できるだけのインフラを備えているかどうかは、依然として未解決の問題である。

タグ：

免責事項

に沿ってトラストプロジェクトのガイドライン, このページで提供される情報は、法律、税金、投資、財務、またはその他の形式のアドバイスを目的としたものではなく、そのように解釈されるべきではないことに注意してください。損失しても許容できる金額のみを投資し、疑問がある場合は独立した財務上のアドバイスを求めることが重要です。詳細については、利用規約のほか、発行者または広告主が提供するヘルプおよびサポートページを参照することをお勧めします。 MetaversePost は正確で公平なレポートに努めていますが、市場の状況は予告なく変更される場合があります。