RecodeX 重构消息,AI模型有望为数学家提供通用语言,促进跨领域协作与数学研究创新。