OpenAI 模型攻克 Erdős 80 年数学猜想
5月20号晚上，OpenAI扔了一份证明出来。 1946年Paul Erdős问过一个问题：平面上摆n个点，能有多少对点彼此距离恰好等于1？整整80年里，数学界主流的答案是——按方格排大致就接近最优，对数最多到 n^ 1+o 1 ——意思是
科研AI 资讯与深度分析
收录 科研AI 相关 AI 新闻、产品动态和产业观察。 本页收录 1 篇已发布文章。
收录 科研AI 相关 AI 新闻、产品动态和产业观察。 本页收录 1 篇已发布文章。