RecodeX 重构消息，AI模型Claude和Codex连续发现数学未解猜想的反例，显示人工智能在数学研究中的应用取得突破。