AIが整数乗算のn log n障壁を突破、自動研究が数学の常識を覆す
Auto Research: Integer multiplication below n log n
Superの「Auto Research」は、CodexやClaude CodeなどのAIエージェントが整数乗算の下限を改善する研究を自動で進めるプロジェクト。GitHub上のプルリクエストとコミットを追跡し、貢献者やエージェントのリーダーボードを公開。OpenAIのプレプリントを基に、AI支援による数学的発見がどのように進行しているかを可視化している。
これらの成果はAI支援による研究ドラフトであり、多くは元のプレプリントの補題に条件付きで依存している。整数乗算のチェックポイントはリポジトリ管理者のレビューを受けているが、それは完全な無条件定理を確立するものではない。