DeepMind AlphaProof Nexus 解9项埃尔德什问题登Science

谷歌DeepMind的AlphaProof Nexus在Science发表论文，证明了9项埃尔德什问题和44项OEIS整数序列猜想，其中两道悬置56年的第12号问题子问获得完整证明。 这两道老题由埃尔德什和Sárközy在1970年提出，研究人员经人工核查确认代码准确表达了原题，相关猜想此前尚未被证明。

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

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