RecodeX 重构消息，多位菲尔兹奖得主警告称，AI在数学证明领域已超越人类，可能导致数学学科面临生存危机。