OpenAI 宣称 AI 解决了 N-S 方程千年难题,数学家炮轰「抢功」↗
OpenAI 发布声称解决了价值百万美元数学千年难题「纳维-斯托克斯方程」的 AI 生成证明(含 Lean 形式化验证),但 NYU 数学家公开指控 OpenAI「抢功」行为,称这一数学问题本是研究人员的职业生涯代表作。百万悬赏背后,AI 与人类数学家的署名权争议正式爆发。

Jason 说
今天最炸裂的一幕是:OpenAI 宣布 AI 解决了价值百万美元的数学千年难题,然后数学家立刻跳出来说「你们抢了我的功劳」——AI 的能力边界已经到了会引发著作权纠纷的级别,这才是真正的里程碑。
OpenAI 发布声称解决了价值百万美元数学千年难题「纳维-斯托克斯方程」的 AI 生成证明(含 Lean 形式化验证),但 NYU 数学家公开指控 OpenAI「抢功」行为,称这一数学问题本是研究人员的职业生涯代表作。百万悬赏背后,AI 与人类数学家的署名权争议正式爆发。
OpenAI 正式推出 ChatGPT Images 2.5,支持将创意草图和参考图片转化为更高质量、更贴近用户意图的个性化图像,是 ChatGPT 图像生成能力的重大迭代。对内容创作者和设计师来说,这意味着「概念到成品」的流程被进一步压缩。
MIT 研究员演示了如何用 GPT-5.6 Sol 配合 Codex 自主执行量子计算实验、分析结果并校准量子比特。这是 AI Agent 在真实科研场景落地的最新案例,暗示「AI 驱动科学」已从概念走向实操,对研究型开发者极具参考价值。
Meta 发布个人 AI Agent「Muse」,要求访问用户的电子邮件、日历、支付和健康服务,是 Meta 迄今最大的消费端 AI 押注。核心问题是:用户还愿意把这么多私密数据交给 Meta 吗?这是对数据信任危机的一次正面压力测试。
Cognition 最新估值达 480 亿美元,倍数甚至高于 Cursor 被 SpaceX 收购前的水平。投资人用真金白银表态:AI 编程市场不会被单一玩家垄断,多极竞争格局将长期持续。对独立开发者和创业者来说,细分赛道仍有机会。
Claude 订阅用户发现账户 Token 在本人不操作时持续消耗,Anthropic 已确认有黑客窃取用户 Token 并随后发出安全警告。对重度使用 Claude API 的开发者来说,Token 安全管理(密钥轮换、额度监控)应立即列为优先级。
context-mode 是专为 AI 编程 Agent 设计的上下文窗口优化工具,通过沙盒化 MCP 工具输出(Playwright 快照从 56KB → 极小),持久化会话记忆,并跨 17 个平台强制路由,实现 98% 的 context 压缩。对频繁碰触 token 上限的 Claude Code/Cursor 用户是直接提效利器。
美国国防部发布正式安全咨询报告,指出中国 AI 公司正对美国主流 AI 模型实施「恶意蒸馏」活动,系统性提取模型知识。这是官方层面首次将模型蒸馏定性为国家安全威胁,预计将加速 AI 模型访问管控和出口政策收紧。
投资方:Samsung Electronics
欧洲最大开源大模型公司,估值近翻倍至 240 亿美元,三星领投彰显亚欧 AI 产业联盟趋势加速。
订阅获取每日 AI 快讯推送 + 免费出海手册
📘 免费订阅