继上月宣布利用内部前沿模型解决数学界最重要的开放问题之一后，OpenAI又一次向数学界投下了一枚“重磅炸弹”。当地时间10月6日，OpenAI公布了一批由内部前沿AI模型产生的新数学研究成果，共涉及372组结果，覆盖数学和理论计算机科学中的大量长期未解决问题。OpenAI称，这些成果要么解决了长期存在的开放问题，要么取得了具有实质意义的突破。 阅读全文