WORLD NEWS
AI 打破了 80 年前的 Erdös 猜测，仅提出一个问题就得到了人类的验证
在被问到一个问题后，AI模型用一个反例摧毁了近80年来与Erdös单位圆距离问题相关的猜想。
这并不意味着数学中的所有难题都已自动解决。结果由公司研究人员和独立数学家审查，所使用的模型和学习材料的详细信息并未披露。
问题出在哪里？
这是一个组合几何问题，询问如何在以恒定距离连接平面上的点的单位圆距离图中限制颜色和结构。数学家保罗·埃尔多斯 (Paul Erdös) 自 20 世纪 40 年代以来就推测某种形式始终成立，但几十年来一直没有普遍的证明或反例。
人工智能做了什么？
一旦 OpenAI 研究人员用自然语言提出问题，内部推理模型就会朝着以前不常见的方向开发反例构造。关键是找到满足条件的有限点和连接结构，打破猜测的结论。结果被组织成人类可读的论点。
你是如何检查正确答案的？
公司外部的数学家独立审查了结构和逻辑，确认反例满足条件。数学的优点是可以通过计算或形式验证对零件进行双重检查。尽管如此，它并不仅仅通过模型输出来解决，人们还参与了问题定义、证明定理和公开验证。
什么没有透露
该公司披露了证明和解释，但没有透露其使用的是哪个内部模型或所有学习材料。因此，很难从外部全面评估现有文献的影响以及不同模型的可重复性。数学界指出，归属、一致和验证规则必须跟上技术的步伐。
为什么这很重要
这个例子表明人工智能可以超越总结已知的解决方案，并有助于寻找新的反例。同时，一次能够得出一个好的答案与拥有一致的研究技能是不同的。公开可用的工具、可重复的实验和严格的同行评审是下一个标准。