RecodeX 重构消息，AI成功解决雅可比猜想，攻克数学领域百年难题。