高校生2人がAIを駆使し、Fields Medalist June Huhが解けなかった未解決問題を攻略
Unsolved Problem by Fields Medalist Breached by Two High School Students
カリフォルニアのOak Park High Schoolに通うAayush BathijaとPrince Rohatgiが、UCLAのポスドクDaniel Soskinの指導の下、Fields Medalist June Huhが切り開いたLorentzian多項式の未解決問題を解決した。75ページの論文「Bounded Ratios for Lorentzian Polynomials」をarXivで公開し、任意次数の多項式における係数比の上限を決定する構造定理を証明。AIアシスタントClaude Opus 5とGPT-5.6 Solを計算探索や証明アイデア生成に活用しつつ、全ての計算と議論を独立に検証した。AIが数学研究の敷居を下げ、才能ある高校生が最先端の課題に挑むことを可能にした事例である。
AIはアイデアを提供できるが、研究者は吟味し、精査し、価値ある手がかりを検証に耐える議論へと変える必要がある。
HNでの議論
59- no-name-here
実際のタイトルにはこうある：
> Unsolved Problem by Fields Medalist Breached by Two High School Students with AI
私のタイトル案：Fields Medalist Problem Solved With AI
彼らはAIを「計算、証明アイデアの生成、編集支援」に使った。
使ったAIのリストの挙げ方が少し妙だ - 「Claude Opus 5、AnthropicとChatGPT Sol5.6が計算、証明アイデア、編集支援に使われた。」
- sp-ti-en-ma-in
論文：
タイトル：BOUNDED RATIOS FOR LORENTZIAN POLYNOMIALS
- htrp
これらのモデルを励まし、これらの問題を解けると伝え、簡単な問題でウォームアップさせる必要があるという事実は、プロンプトを超えたAIペアリングの何かがあることを示しているように思える
- dataflow
私が興味があるのは、ポスドクがいなかったら彼らはどこまで到達できたのかということだ。
- Aargau
Navier-Stokesの解から逆算して、私はAstraをその解法に至る道筋へと導くことができた。問題から始めて、特定の道筋をもっと詳しく見るように挑戦させ、行き詰まったら反復するという定式化が必要だったが、解に到達することができた。