RecodeX 重构消息,数学家陶哲轩探讨数学发现的本质,强调尝试与验证的过程。