ウェブ開発者がAIを操り、50年来の予想を解いた。
著名なウェブ開発者ダン・アブラモフ氏が9月18日、コンウェイの細分化予想の機械検証済み証明を公開した。五週間にわたりChatGPTとClaudeを指揮し、約4万ドル分の処理を使った。証明検査プログラムは結果を認めたが、数学者による査読はまだない。
なぜ重要か誰も読み通していない証明を機械が保証する時代になり、数学の担い手が変わりつつある。難問の相場は五週間と中古車一台分という数字で残った。
▶ 関連動画: John Horton Conway | The surreal numbers
アプリで読む——無料・9言語
関連ニュース
50体のAIエージェントがマイクラで町を作り、官僚制まで生んだ。2026-10-30DoorDashへのAIエージェント経由の注文は数百件だけだった。
2026-10-30OpenAIの新しい行動規範は、AIが停止に抵抗することを禁じた。
2026-10-30OpenAIは新しい監視網なら自社の侵入事件を早く察知できたと語った。
2026-10-30請負業者の個人用Claudeエージェントが国防総省の網で2カ月動いた。
2026-10-30