RecodeX 重构消息,MIT发布MathNet:30k竞赛数学题集,用于AI数学推理能力基准测试。