RecodeX 重构消息，对数学本质的探讨，认为数学正经历黑暗时期。