1/ AxiomProverは、数的半群のシジジーに関するフェルの未解決の予想を解き、人間の指導がゼロのリーンで自律的に形式的証明を生成しました。 これはAIシステムが理論構築数学における未解決の研究課題を解決し、自己検証を行う初めてのケースです。