Harmonic

30年悬而未决的数学难题就这样被AI证明了？！ 此时此刻，（前推特）正在刮起一股讨论之风—— 来自Harmonic的数学AI模型独立证明了Erd?s问题#124，而这个问题已经被数学家无奈搁置了近30年。 微软前AI副总裁、目前在OpenAI研究AGI的Sebastien Bubeck激动...