湖南大学のWang & Wuによる新しいプレプリントが、Open AI Codexの支援を受けて1974年から未解決だった球面Hadwiger猜想を証明しました。著者らはAIが証明の詳細の開発、ギャップの特定、原稿の整理、英語の編集を支援したことを明らかにし、完全な責任を負うと述べています。これは同じ週にClaudeがLeanでフェルマーの最終定理を形式化したことに続きます。

この証明を大学院時代に試みた著者は、OpenAIのGPT-4レポートが数学者の仕事の100%がLLMにさらされていると推定していることを指摘しています — これは作家や芸術家よりも高い割合です。AIの影響が遅れた理由は、数学が経済的価値や訓練データにおいて他の分野より少ないためかもしれません。

これにより、純粋数学がクラシック音楽のように「コンセルヴァトワール」モデルに移行するかどうかという疑問が生じます — これは大学外での専門的役割が限定された学術機関に制度化されるモデルです。数学のコンセルヴァトワールは、結果を生み出すことが容易になってもその重要性を理解することが難しいままでも、その分野を保存することができるでしょう。純粋数学はすでにこのコンセルヴァトワール（アカデミー）に存在しており、その結果を理解できるのはごく少数です。

主要なエンティティ: 企業: Open AI, 湖南大学 | 人物: Wang, Wu, Claude Fable | 場所: 湖南大学