AI 一夜放出七百多篇证明之后，数学家还能做些什么
2026 年 10 月 6 日傍晚，纽约国家数学博物馆在办年度晚宴。罗格斯大学的数论学家 Alex Kontorovich 一手拿着威士忌，一手不停刷新手机。他知道 OpenAI 会在美东时间六点左右放出一批结果，具体多少篇，在场谁也说不准，有人猜三四百。结果是 722 篇。
AI 说它证了三个大问题：哪些是真突破，哪些还只是声称
OpenAI 说，它的模型在两天里证了三个大问题：全维度挂谷猜想、Yang-Mills 的“存在性”，以及反驳 ETH。数学家还在消化，争论已经开始了。先看挂谷。一根针在空间里转，要让它指向每个方向至少一次，扫过的体积最小能有多小？这就是挂谷猜想。
OpenAI 一次性砸出722篇数学论文，炸了数学界？
10月6日，OpenAI一次性释放了722份数学成果论文，涵盖了372个数学开放问题，这些结果来源于4000多个研究问题的测试，每项成果平均消耗了相当于ChatGPT Pro约三小时的计算量。
AI 解出难题，但复核还在路上｜2026年10月29日
摘要：OpenAI 称其模型否证指数时间假设，两位原作者已参与复核；63% 的选民反对在自家 10 英里内建数据中心；三起智能体事故暴露授权漏洞。这一周最值得看的三件事，都跟数字有关。
18年没人证出来，AI 3天就搞定了
一个数学猜想，数学家啃了 18 年没啃下来。11 月 6 日，一家叫 PSI 的创业公司宣布：它的 AI 研究系统只用了 3 天，就把证明写出来了。而且不是“看起来证出来了”——证明的每一步，都过了一台专门验算数学证明的电脑。先说清楚：这还不是数学期刊盖章的定论。
AI产品经理认证是国家承认的吗？三类发证主体一次分清
搜「AI 产品经理证书国家承认吗」，能翻到三种互相打架的回答：一种说国家早就取消这类证了，一种说人社部备案的正规，还有一种说国际认证全球通用。三种说法都不算编，它们各自对应不同的发证主体，只是被塞进了同一个问题下面。
AI开源合规：对象、许可证、风险与合规路径
来源：中伦视界AI开源合规全景梳理：从许可证审查到企业应用与风险治理。
前OpenAI CTO推新模型，让用户自己训AI！创企估值被曝冲刺2600亿
智东西11月6日消息，今日，前OpenAI首席技术官米拉·穆拉蒂创办的美国AI创企Thinking Machines Lab发布通用多模态模型Inkling 2 Small，并将于下周开放权重。
OpenAI抓出内鬼！自家模型立了大功，身份曝光，原来是蓄谋已久
电视背后藏着一卷卫生纸最近，科技圈传得沸沸扬扬的一桩奇闻，主角正是大名鼎鼎的 ChatGPT 的母公司——OpenAI。出事的地点，是其总部的一间高管会议室。