RecodeX 重构消息，DeepMind的AlphaProof Nexus研究成果登上《Science》，共解决9项埃尔德什问题，其中2道已悬而未决56年，另解决44项OEIS整数序列猜想。该系统依托Gemini与证明工具的多轮配合架构完成研究级证明，还为优化算法找到新的参数设置并证明其有效性。其产出的证明可作为数学家后续研究的起点。