OpenAI的一个推理模型,在没有接受数学专项训练的情况下,在组合几何领域取得了重大突破。八十年来首次证明存在一个无限族配置,其单位距离对数量至少为n^(1+δ),推翻了一个自20世纪40年代以来一直指导研究的猜想。
AI如何发现了人类忽略的东西 🧠
该模型探索了数学家认为无用的高维空间点组合。通过应用无监督搜索模式,它识别出了能产生单位对多项式增长的结构,其中δ固定且大于零。这一结果不仅推翻了先前的猜想,还为构建具体实例开辟了道路——这是自1946年以来传统方法一直未能实现的。
数学家们,AI赢了你们一手(还毫不费力)😅
当人类还在争论极限是否为n^(1+ε)且ε趋近于零时,AI来了并说:看,我把固定的δ和一个无限族放在桌上了。有趣的是,这个模型并非数学天才,只是一个通用求解器。现在轮到数学家们解释为什么之前没想到,或者至少假装他们即将发现这一点。