AI又拿下一个千禧年难题？OpenAI总裁亲口证实“进展重大”
OpenAI联合创始人兼总裁Greg Brockman，公开宣布:我们在另一个千禧年大奖难题上也取得了重大进展。
JDK8新特性总览，官方原文说明加高质量翻译
Default methods enable new functionality to be added to the interfaces of libraries and ensure binary compatibility with code written for older versions of those interfaces.
最新！基金委公布7份不端行为案件处理决定
国家自然科学基金委员会监督委员会对华北电力大学孙玉兵等发表的论文涉嫌学术不端问题组织开展了调查，涉及论文如下:论文1:“Mengxue Li， Yubing Sun， Haibo Liu， Tianhu Chen， Taswar Hayat， Njud S. Alabadi， Changlun Chen. Spectroscopic and modeling investigation of Eu/U sorption on nanomagnetite from aqueous solutions. ACS Sustainable Chemistry & Engineering， 2017， 5:5493-5502.”
OpenAI 攻克千禧难题？深度拆解 1 万个 Agent 如何造出流体奇点
9 月 8 日，OpenAI 公布了一套针对 Navier–Stokes 千禧年问题的有限时间奇点构造。一个仍在训练的内部模型，配合约 1 万个 Agent 持续搜索约 88 小时，随后又用 Lean 完成形式化。
人类琢磨了两百年的数学题，AI花88小时解开了？人类数学家怒了！
他们指挥1万个Agent，花了88小时，烧了1300亿token，把人类史上最难的数学问题之一“纳维-斯托克斯方程问题”给解决了!
翻完OpenAI的722篇数学手稿，我们挑出了最重的30道名题
OpenAI 的第 002 和 006 号成果族合在一起，声称对每一条有理椭圆曲线，在它「几乎所有」的二次扭曲上都证明了完整的 BSD 公式;
HXM宇宙物理体系 vs OpenAI纳维-斯托克斯“证明”的真相声明
HXM宇宙物理体系 vs OpenAI纳维-斯托克斯“证明”：一份迟来数月的真相声明2026年9月8日，OpenAI高调宣布其内部AI系统以约1万个智能体、88小时、2250万美元算力成本，“攻克”了三维纳维-斯托克斯方程这一千禧年难题。
AI又拿下一个千禧年难题？OpenAI总裁亲口证实「进展重大」
来源：市场资讯（来源：新智元）新智元报道OpenAI还有大结果即将公布!上周，OpenAI宣布「纳维尔-斯托克斯方程」相关突破的巨大冲击，全球还没从平复过来。
AI又拿下一个千禧年难题？OpenAI总裁亲口证实「进展重大」
We also said that we have significant progress on another one of these money problems.
陶哲轩邓煜等25位菲尔兹奖得主联名警告：AI在“偷”走数学的灵魂
9月11日，陶哲轩、邓煜等25位来自不同国家、不同研究领域的菲尔兹奖得主联合发起并签署声明《人工智能在推进数学研究中的严重目标错位》。