RecodeX 重构消息,谷歌DeepMind的AlphaProof系统以每次仅数百美元的推理成本,自主解决了九个开放数学问题,包括两个困扰数学家56年的难题。