RecodeX 重构消息，大语言模型近期对多个长期未解数学猜想提出反例，引发对数学研究方式与AI能力的关注。