AlphaProof Nexus解决数十个数学难题并获同行评审

Google DeepMind 的 AlphaProof Nexus 在数学领域取得重大突破。最新报道显示，该模型成功解决了数十个开放数学问题，其中包括九个著名的 Erdős 问题和两个悬置长达 56 年的难题。这一研究成果已在顶级学术期刊《Science》上发表，并通过了严格的同行评审。这标志着 AI 在处理复杂、长期未决的数学证明任务上达到了新的高度，验证了其在形式化推理方面的强大能力。此前关于其解决多个数学难题的报道得到进一步证实和扩展，明确了具体解决的问题数量及类型，确立了其在学术界的正式认可地位。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。