标签： DeepSeek

OpenAI 声称对 Connes 刚性猜想的反驳无效 [pdf]

一篇声称“反驳 Connes 刚性猜想”的数学论文，被 OpenAI 指出论证不成立。这件事本身不只是数学争议，也反映了大模型和推理系统正在进入数学研究的验证环节。

由前 OpenAI 员工创办、重仓 AI 股票的杠杆对冲基金 Situational Awareness，在 8 月 AI 股回调中单月亏损 67%，被迫将大部分资产折价卖给 Citadel，暴露了高杠杆押注单一主线的巨大风险。

顶级科技投资人Gavin Baker判断，模型路由、开源模型、专用后训练三件事同时成熟，AI应用公司正在摆脱“卖得越多、亏得越多”的困境，垂直AI公司将迎来加速增长。

2026年8月2日，欧盟《人工智能法案》核心条款正式进入执法阶段，透明度义务和通用AI模型罚款权即时生效；与此同时，Kimi K3、GLM-5.2等开源模型把推理成本压到闭源模型的1/4至1/10，AI商业化的竞争重心正在从“能不能做”转向“合规且便宜地做”。

NVIDIA AI 发布了名为 Molt 的代理强化学习框架，主打 PyTorch 原生支持，旨在让开发者用更熟悉的技术栈训练和调优 AI 代理（Agent）。它的意义在于，大模型竞争正从“会聊天”延伸到“会做事”，而强化学习正在成为训练代理行为的关键工具。

苹果因 AI 辅助生成的 bug 报告数量激增，开始对提交数量设置上限，并引入 30 天冷静期；研究者可申请更高配额。这是主流平台首次公开针对 AI 辅助质量问题的系统性治理动作。

沉寂三年的中国创投市场正在重新活跃，一批 VC 机构开始密集募集新基金，资金重点流向科技、AI 与机器人赛道。这件事值得关注，因为它意味着中国 AI 创业公司新一轮融资窗口可能已经打开。

有用户发现 Codex 支持通过自定义 Agent 配置创建指向高推理模型的子代理，让 Sol 负责统筹规划、Luna Max 领取具体子任务，从而在多任务场景下节省主线程上下文开销。目前公开信息显示，这一玩法并非官方开箱即用的入口，需要用户手动写入配置。

AI正在从根本上改变软件行业的估值逻辑——从“按人头收订阅费”转向“按结果和调用量收费”，数据、流程与合规安全正在取代界面成为新的护城河。今年2月全球软件股市值六日蒸发8300亿美元、4月标普软件指数一度跌25.5%，但6月又反弹42%，说明行业正在经历一场剧烈的内部再分配。

7月下旬，微软牵头235家AI公司签署公开信，呼吁不要限制开源权重模型；随后Anthropic明确反对，再往后1324名前沿AI员工联名要求政府主导“控制AI研发节奏”。三封信背后，是行业在开源与封闭、速度与安全之间的路线分歧被摆上台面。