今天晚间，据避免再次酿成公关危机。

　　据悉，OpenAI 为了解决纳维-斯托克斯问题，或已花掉数百万美元。前述人士透露，OpenAI 当时使用的是下一款预训练模型的一个变体，代号为“Doug”。

　　部分 OpenAI 研究人员认为，继软件工程之后，数学是大模型最自然的下一块试验场。两者有一个重要共同点：都依赖一步步的逻辑推理，而且结果往往可以自动验证对错。一些研究人员甚至判断，过去一年席卷软件工程领域的自动化进程，未来 6 至 9 个月也可能在数学领域上演。

　　攻克高难度数学问题还有另一层意义：推动机器学习研究本身实现自动化。机器学习研究离不开大量数学，而研究自动化又是 AI 开发商迈向“AI 开发 AI”的重要一步，这种能力通常被称为递归式自我改进。

　　让前沿模型挑战从未有人解决过的数学难题，也能帮助研究人员判断模型究竟进展到了什么程度，以及复杂推理能力有多强。如果模型能够攻克纳维-斯托克斯问题和霍奇猜想这种级别的难题，也可能说明它们有能力处理生物学、化学等领域中难度相当的问题。

　　特别

　　截止9月16日，2026年上调养老金的通知正式公布之前，20多个省份公布了2026年社保缴费工资

　　中共中央政治局委员、中央外办主任王毅会见巴西总统首席特别顾问阿莫林，外交部：中方一贯坚持不干涉内政原则，祝愿巴西大选平稳顺利举行

　　我问老公，张馨予那么有钱，为什么买一辆15万的车？老公说，不是他们买不起，而是何捷不想让人说闲线日，人社部、财政部关于2026年上调退休人员基本养老金的通知正式公布之前，有二十来个省份社保新基数落地，两类人要留心

　　高晓松要拍