地里快讯

OpenAI宣布将发布一批由其内部前沿模型得出的全新数学研究成果，并称在发布前已持续与普林斯顿高等研究院的数学与人工智能独立顾问组沟通，参考了该顾问组的意见与公开建议。 相关成果已于10月6日公开，《纽约时报》报道称此次发布涵盖377个数学问题的研究结论，部分证明通过形式化验证工具Lean进行了检查，所用模型目前尚未对外发布。此次发布再度在数学界引发争议，多家媒体报道称部分数学家对AI介入研究的方式以及成果署名归属提出质疑。