OpenAI自己也不懂自己写的证明，然后拿出了1500万
10月6日，OpenAI 一口气公开了722篇数学手稿，都是内部AI模型生成的。第二天，其中3篇被撤回。原因是一处正负号。按论文的约定，某处该取-1，AI在证明里按+1算了。纠正之后，原本以为归零的计数并不为零，整个证明用到的定理前提就垮了。另外两篇用了同一套构造，也被一起撤了。
杨振宁当年的遗憾，被OpenAI补上了?
2019年3月21日，《国家科学评论》执行主编、神经生物学家蒲慕明和斯坦福大学的加速器物理学家赵午，到清华找杨振宁聊天。
AI写88小时，人类读7周！数学家开始读懂OpenAI千禧难题证明
来源：市场资讯（来源：新智元）新智元报道9月8日，OpenAI扔出一份证明，宣称攻克了纳维－斯托克斯这道千禧难题。这道题研究的，是描述流体运动的一组方程。约一万个AI智能体，88小时，166页。写完它，AI用了不到4天。论文公布近7周后，人类开始读懂它的思路。
纽约大学数学教授称，几组偏微分方程专家已基本读懂OpenAI关于纳维-斯托克斯方程的证明思路
10月26日，法国国家科学研究中心研究主任、纽约大学库朗研究所数学教授Scott Armstrong在X上发文转述，几组偏微分方程专家已经基本读懂OpenAI关于纳维－斯托克斯方程的证明思路。
OpenAI破译数论百年悬案，揭开P≠NP重大线索，0千禧年神题逼近了
这两天，整个数学界和计算机圈，都陷入了巨大震撼。10月18日，斯坦福大学数论学家Jared Duker Lichtman在X上的话，瞬间引爆全网——
偷家了，OpenAI火速挖走Claude Code产品一姐，直接掌管核心产品线
为什么Anthropic上市之前这么多人跑了？光是王牌产品Claude Code团队，近期就接连走了三位。Claude Code产品经理昨天刚和Anthropic再见，今天就已经火速投奔OpenAI。
王虹攻下的三维挂谷猜想，OpenAI放出175页四维证明稿！
王虹攻下三维，OpenAI直接把四维证明稿摆上桌了!10月6日，OpenAI在GitHub上公开首批722篇数学手稿。
人类扳回一局，数学家证明OpenAI的数学难题重大突破AI证明不可靠
九月初，OpenAI宣布其AI系统给出了纳维-斯托克斯方程解会发生爆破的证明，消息一出，数学界和科技圈一片哗然。更让人信服的是，配套的Lean证明代码顺利编译通过，仿佛给这项成果盖上了一枚“机器认证”的钢印。
AI写88小时，人类读7周，数学家开始读懂OpenAI千禧难题证明
9月8日，OpenAI扔出一份证明，宣称攻克了纳维-斯托克斯这道千禧难题。约一万个AI智能体，88小时，166页。