RecodeX 重构消息，西蒙斯基金会、OpenAI与Anthropic共同投入1500万美元资金、模型与算力资源，用于帮助数学家核查AI生成的证明、学习新工具，并为AI在数学研究中的应用制定共享标准。