AI要約AI formalizes Fermat's Last Theorem in 11 days, sparking scientific excitement.mathematicsartificial_intelligenceポジティブAI生成の要約です。詳細は元ソースで確認してください。