RecodeX 重构消息，AI正在攻克传奇的埃尔德什数学难题，显示出人工智能在数学推理领域的新突破。