OpenAIの社内モデルが、離散幾何学の中心的な予想を自律的に反証した。22離散幾何学は、暗号、無線機器間の通信、医用画像などに応用される数学の分野だ。この証明は、ポール・エルデシュが1946年に提起した有名な問題に関わるものだ。23著名な数学者たちが、付随する論文でその正しさを検証している。24
検証した数学者たちは、これはこの分野で最も盛んに論じられてきた問題の一つに対する、真に新しい突破口だと考えている。ある数学者は、その問題を「離散幾何学で最もよく知られた問題と言ってもよい」と評した。別の数学者はこう述べている。「人間がこの論文を書いてAnnals of Mathematicsに投稿し、私が簡単な意見を求められたとしたら、ためらわずに採択を勧めたでしょう。これまでAIが生成した証明に、これに近いものはありませんでした」。
この証明は、AIシステムが自律的かつエージェントとして問題を解くようになっているという、全般的な傾向を示している。OpenAIによれば、この証明を生み出したシステムは、数学に特化したものではなく、汎用モデルだ。AIは今や、難しい問題について新しい推論を長く積み重ねられるようになり、その進歩は、私たちが測定できる範囲を超え始めている。25
AIエージェントが最も力を発揮するのは、今も数学やサイバーセキュリティなど、出力の正しさを容易に検証できる分野だ。たとえば、AnthropicのClaude Mythosは、主要なすべてのOSとウェブブラウザーにわたって数千件の脆弱性を発見し、一般公開するには危険すぎると判断された。26政府が現在、最先端AIモデルの評価への関心を高めているのは、こうした能力があるためだ。27
AI研究も、容易に検証できる出力が多い分野だ。OpenAIやAnthropicの研究者はこの点を生かして研究を加速させている。上級研究者たちは今や、自分たちは大枠の判断だけを行い、コーディングの大半はAIに任せていると主張している。28Claude Codeのような一般に利用できるAIシステムのコーディング能力を試せば、この1年でAIがどれほど進歩したかが、すぐにわかる。
OpenAIとAnthropicは、人間による監督を最小限にとどめ、AIを使って今後のモデルを改良しようとしている。急ぐ理由として、両社は米国や中国の競合研究所に勝つことの重要性を挙げる。29この分野を代表する専門家の多くは、この競争の行き着く先は人類の絶滅だと警告している。30
AI革命の創始者たちを含む政策立案者や研究者が、この技術に対する国際的な規制を求めている。31政治指導者のあいだでも、その主張に賛同する超党派かつ国際的な合意が広がりつつある。32
脚注
22：OpenAI, “OpenAIのモデルが離散幾何学の中心的予想を反証,” 2026年5月20日, openai.com.
23：OpenAI, “多数の単位距離を持つ平面点集合,” 2026年5月20日, cdn.openai.com.
24：Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, and Melanie Matchett Wood, “単位距離予想の反証についての考察,” 2026年5月20日, cdn.openai.com.
25：METR, “最先端AIモデルが完遂できるタスクの時間的長さ,” 2026年5月21日閲覧, metr.org.
26：Anthropic, “Project Glasswing：AI時代の重要ソフトウェアを守る,” 2026年4月7日, anthropic.com.
27：Jacob Wendler, Dana Nickel, Dasha Burns, and John Hewitt Jones, “トランプ、最先端AIモデルの監督に動く,” Politico, 2026年5月20日, politico.com.
28：Sam Altman (@sama), “昨日ライブ配信を行いました。要約すると、数十万基のGPUで動作する自動AI研究インターンを2026年9月までに、本格的な自動AI研究者を2028年3月までに実現するという社内目標を設定しました…… ,” X（旧Twitter）, 2025年10月29日, x.com; World Economic Forum, “AGIの翌日,” YouTubeライブ配信, 2026年1月20日, youtube.com; OpenAI, “GPT-5.3-Codexの紹介,” 2026年2月5日, openai.com.
29：Dario Amodei, “DeepSeekと輸出規制について,” 2025年1月, darioamodei.com; Dario Amodei and Matt Pottinger, “トランプは米国のAI優位を維持できる,” The Wall Street Journal, 2025年1月6日, wsj.com.
30：Center for AI Safety, “AIリスクに関する声明,” 2023年5月30日, aistatement.com.
31：Future of Life Institute, “超知能に関する声明,” 2026年5月21日閲覧, superintelligence-statement.org.
32：No Winners, “超党派” 図, 2026年5月21日閲覧, nowinners.ai.