新智元报道 今天，整个AI圈都被这件事刷屏了。 Anthropic的核心预训练研究员离职了。 他发布的一篇离职长文，在X上已经浏览破亿。 更惊人的是，Anthropic对齐负责人E…

新智元报道 苹果春晚来了！ 这一次，新掌门John Ternu走上了Apple Park的舞台，接过了属于苹果的最高聚光灯。 属于库克的那个时代，正式翻篇了！ 今晚全场的绝对C位，…

新智元报道 AI圈现在卷得最凶的地方，是你的电脑桌面。 OpenAI不断强化桌面端应用，试图用Codex和ChatGPT for Work接管打工人的工作流。 Anthropic更…

它来了，它来了，苹果首款折叠屏真的来了！ 传闻说的没错，一比根号二的小胖折叠，iPhone 4以来最激进的产品型号。 确实有点猛啊，从发布会的demo来看，真给折痕干爆了，完全隐形…

今天路透社丢出一条消息：DeepSeek已经请了中信证券当辅导机构，筹备在科创板IPO，计划年内正式启动上市流程。 DeepSeek和中信证券都没回应。但这事儿的可信度不低——中信…

新智元报道 刚刚，OpenAI 宣布，一个内部模型生成了纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题的完整证明，并已通过 Lean 形式化验证！ 千禧年七大数学难…

新智元报道 刚刚，OpenAI 发布了 GPT-Images-2.5： 生成延迟最多减半，编辑精度提升，新增 Sketch 手绘输入功能，API 端首次拆出快慢两档模型。 http…

就在刚刚，OpenAI 发布新一代图像生成模型 ChatGPT Images 2.5。 官方表示，新模型重点提升了图片细节质量、生成速度、编辑精度以及多轮修改过程中的一致性，并新增…

今日，OpenAI宣布使用比GPT-6 Astra更强的内部系统，破解了悬而未决约90年的“千禧年大奖难题”。 这道难题是纳维–斯托克斯存在性与光滑性问题，OpenAI成功证明，描…

家人们，DeepSeek V4.1 Flash开启内测了。 内测问卷里有道题，把我看乐了。官方直接问，这个模型能不能全面替换线上的DeepSeek V4 Pro。 上次我测完V4 …

就在刚刚， DeepSeek 开启了新模型 DeepSeek V4.1 Flash 的限时内测。 官方称，这是一个面向用户开放测试的中间版本，采用新的模型结构，原生支持多模态。按照…

新智元报道 千禧年难题，已被AI攻破？！ 数学界和AI圈，可能正迎来一场前所未有的超级地震。 就在刚刚，纽约大学流体力学与偏微分方程数学家Tristan Buckmaster重磅发…