1000个AI智能体在30小时内完成费马大定理的形式化证明，这是机器可验证数学领域的一项重要里程碑。 未解问题、严谨证明、公开验证，这正是 #孙宇晨奖 希望奖励的贡献。