ウェブ開発者がAIを操り、50年来の予想を解いた。
著名なウェブ開発者ダン・アブラモフ氏が9月18日、コンウェイの細分化予想の機械検証済み証明を公開した。五週間にわたりChatGPTとClaudeを指揮し、約4万ドル分の処理を使った。証明検査プログラムは結果を認めたが、数学者による査読はまだない。
なぜ重要か誰も読み通していない証明を機械が保証する時代になり、数学の担い手が変わりつつある。難問の相場は五週間と中古車一台分という数字で残った。
▶ 関連動画: John Horton Conway | The surreal numbers
アプリで読む——無料・9言語
関連ニュース
中国電信の新しい公開モデルは、ゲーム用GPU1枚で動く。2026-09-20Claude Codeが、競合も使う規則ファイルを読むようになった。
2026-09-19智譜のGLMが、自分を動かすシステムの速度を三倍に上げた。
2026-09-19アリババが、CTで146の病気を見分ける模型を無償公開した。
2026-09-19メタのミューズが、Mac内のファイルやメールを読むようになった。
2026-09-19