RecodeX 重构消息,菲尔兹奖得主邓煜称AI已能辅助数学证明,但无法替代独立思考。