RecodeX 重构消息，孙宇晨表示，1,000个AI智能体在30小时内完成了费马大定理的形式化验证，认为这是机器可验证数学领域的一项真实里程碑。他提到，这一成果涵盖开放问题、真实证明与公开验证，正是其设立的“Justin Sun Prize”希望奖励的方向。