RecodeX 重构消息，谷歌DeepMind的AlphaProof Nexus解出数十道开放数学难题，其中包括九道埃尔德什问题，其中两道已悬置56年未解。相关成果发表于《Science》。DeepMind在发布前对结果进行了同行评审。