微软前AI副总裁、目前在OpenAI研究AGI的Sebastien Bubeck激动分享了这一消息，并表示： 30年悬而未决的数学难题就这样被AI证明了？！ 此时此刻， （前推特） 正在刮起一股讨论之风—— 来自Harmonic的数学AI模型独立证明了 Erdős问题 #124 ，而这个问题已经被数学家无奈搁置了近30年。 一水 发自 凹非寺 量子位 | 公众号 QbitAI 该解决方案100%由AI生成，总计耗时6小时。 甚至连陶哲轩这样的顶尖数学家也跑来围观讨论，他在对比了Gemini和ChatGPT的深度研究工具后发现，Harmonic模型对该问题的证明表 现更佳。 所以这到底是一个怎样的问题？Harmonic模型又是如何"大显神功"？ 咱接着瞧—— AI证明了Erdős问题 #124简易版 首先需要提醒，在听完各路大神讨论后，我们才意识到—— 原来Harmonic模型所证明的并非原版Erdős问题 #124 ，而是一个简易版本 。 Erdős问题 #124需要提供的证明如下 ： $$\sum_{1\leq i\leq k}{\frac{1}{d_{i}-1}}\geq1.$$ 通俗理解即为： 假设你有 ...