AI 摘要AI formalizes Fermat's Last Theorem in 11 days, sparking scientific excitement.mathematicsartificial_intelligence正向情感本摘要由 AI 生成，请从原始来源核实细节。