RecodeX 重构消息,AI正以高置信度解决“不可能”数学问题,但其证明能否说服顶尖数学家仍存疑。