新智元报道 刚刚，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重磅发…

新智元报道 就在刚刚，OpenAI又进化了。 现在，备受瞩目的ChatGPT Sites正式开启公测！ 哪怕你一行代码都不会写，只需几句自然语言提示或上传一张草图，就能像写Goog…

新智元报道 AGI的战火还未散，下一场竞赛已开启了！ GPT-6 Astra一露面，直接把各大榜单全线刷爆，无模能敌。 就在今天，最新的3D空间推理基准MazeBench放榜，As…

进入 9 月，新一轮旗舰手机还未悉数亮相，Pro Max 的命名已先在社交平台刷了屏。 据知名博主数码闲聊站爆料，苹果、华为、小米、vivo、OPPO 和荣耀等品牌的下一代旗舰机型…

DeepSeek，一口气扩招150人！ 啥玩意他们总共也就才300-500人规模，这是要搞大动作啊。 而且这150个HC并非AI研究方向，全部集中到两个岗位： 服务端开发工程师、A…

AI PC 这个概念喊了两年，终于有人把「本地跑大模型」从演示台搬进了背包。 联想在柏林 IFA 2026 期间的 Lenovo Innovation World 2026 上发布…