越过"看起来对"的红线：GPT-5.5 发现的 Ramsey 数新证明被 Lean 机械验证通过——AI 在纯数学核心领域拿到第一张不可辩驳的入场券
在 OpenAI 今年 4 月发布 GPT-5.5 Pro 的所有信息中，有一条被大多数人忽略的消息。如今回头看，它的分量远比任何人想象的都要重。
阅读全文数学家的好日子还剩多久？Gowers 的冰冷结论：以后一个问题光"被提出"不够了，还得难到 LLM 解不了
过去，衡量一个数学问题价值的标准是 "有没有人想过"；从今往后，衡量它的标准变成了 "大语言模型能不能做"。一条全新的基准线，就这样被一块硅片轻轻划在了人类智慧的版图上。
阅读全文17分05秒干碎指数界：Gowers 拿 Nathanson 未解问题考 GPT-5.5 Pro，AI 自创"k²-解离集合"构造法，MIT 博士生看完好评
长期以来，人们对 AI 做数学存在一种根深蒂固的误解：认为它无非是将人类已有的知识从记忆中 "重组" 出来。直到菲尔兹奖得主蒂莫西・高尔斯（Timothy Gowers）将梅尔文・内桑森（Melvyn Nathanson）的未解开放问题交给 GPT-5.5 Pro，让它在没有任何数学引导的情况下，仅用 17 分 05 秒就打破了一道困扰学界多年的指数级壁垒 —— 数学家们才猛然意识到：AI 正在做的事，远比 "重组人类智慧" 更深刻，也更具颠覆性。
阅读全文"我的数学贡献为零"——菲尔兹奖得主 Gowers 用 ChatGPT 5.5 Pro 两小时跑出博士论文章节，全过程实录
用三句话就能说清整个事件的核心：菲尔兹奖得主蒂莫西・高尔斯（Timothy Gowers）拿到了 ChatGPT 5.5 Pro 的测试权限。他将梅尔文・内桑森（Melvyn Nathanson）加性数论论文中几个原本留给博士生练手、有望冲击顶刊的未解开放问题，直接提交给了 AI。约两小时后，AI 返回了一份格式标准的 LaTeX 预印本。高尔斯的评价是："我会把这个结果的水准，评为组合数学博士论文中一个完全合理的章节。" 他还补充了一句："我的数学贡献是零。"
阅读全文ASR→翻译→TTS 三段式流水线该退休了：谷歌用 Gemini 3.5 Flash 直接吃音频流吐翻译音，延迟压进"只慢几秒"区间
在人工智能技术快速迭代的今天，工程架构的革新往往能带来颠覆性的体验升级。而 Gemini 3.5 Flash Live Translate 的出现，不仅是对传统语音翻译技术的一次性能提升，更是对整个行业底层架构的根本性重构。它用最直白的方式证明了一个结论：语音转文字、文字翻译、文字转语音的三段式接力逻辑，从根本上就是错的。
阅读全文不再像机器人念稿——Gemini 3.5 Live Translate 能"复刻"你的语气、节奏甚至停顿感，端到端语音流为什么是降维打击？
最令人震撼的不是它翻译的准确性，而是你能从翻译语音中清晰感知到对方的情绪。当一位日语使用者带着不耐烦的语气说话时，耳机里传出的中文翻译同样带着那种紧绷和不悦。那一刻你会突然意识到：传统翻译软件多年来一直在掩盖一个事实 —— 它们把所有人都压平成同一个机械声音，让对话永远挂着一张没有表情的脸。 而 Gemini 3.5 Live Translate 彻底终结了这种状况。
阅读全文从5种到70+种：Google Meet 实时翻译一夜扩容15倍，跨国会议的"巴别鱼"时刻真来了？
就在不久前，Google Meet 的实时翻译功能还仅支持英语与西班牙语、法语、德语、葡萄牙语、意大利语 5 种语言互译，且单场会议只能启用一种语言对，选定后无法更改。如果巴黎团队讲法语，东京同事想听日语翻译，只能无奈另开一场会议。而一夜之间，这一困扰跨国沟通多年的难题得到了根本性解决。
阅读全文不等你说完再翻了——Gemini 3.5 Live Translate 的"流式语音翻译"到底比旧版快在哪？一文看懂架构跃迁
要真正理解 Gemini 3.5 Live Translate 的革命性突破，首先得回答一个最基础的问题：为什么过去的翻译工具总要等你 "说完一句话" 才开始翻译？答案藏在传统语音翻译技术的底层架构里 —— 它本质上是一场 "接力赛跑"。
阅读全文谷歌终于把"同声传译"塞进了手机：Gemini 3.5 Live Translate 上线，70+语种边听边译，Google翻译App今起灰度推送
2026 年 6 月 9 日，谷歌悄然完成了一项足以改变跨语言交流方式的技术落地：将 Gemini 3.5 Live Translate 集成到移动端，并通过 Android 和 iOS 版谷歌翻译开始全球灰度推送。当整个科技界的目光都聚焦在 "大模型如何重塑软件开发" 时，语言隔阂这道横亘在人类之间数千年的物理壁垒，已经被一块屏幕、一只听筒和一条看不见的音频流悄然溶解。
阅读全文Mythos 5 无人值守跑通蛋白设计全流程，药物研发提速 10 倍：AI 当 PI（首席研究员）的时代来了
这不是一篇传统的编程模型评测。真正让全球科研界彻夜难眠的，从来不是 Claude Mythos 5 写代码的速度有多快，而是它闯入生命科学这个复杂迷宫时展现出的惊人能力 —— 当它被投入蛋白质设计的深沟暗壑，没有像过往模型那样卡死在死角，而是能够自主探索、找到出路。
阅读全文太危险所以藏了俩月：Anthropic 的 Mythos 5 终解除部分封印——"全球最强网安模型"给了谁？
2026 年 4 月，Anthropic 做出了一件连 OpenAI 都未曾尝试的事：公开承认其最强大的模型因安全风险过高，无法向公众开放。当时，Anthropic 仅将 Claude Mythos Preview 提供给数十家网络安全合作伙伴，理由是这类模型已具备自主发现并利用关键软件漏洞的能力，一旦落入攻击者手中，将对现实世界造成不可估量的伤害。
阅读全文"我用 Fable 5 跑了三天生产任务，终于明白什么叫『任务越长它越强』"——开发者实测贴
坦白说，最初我对此持怀疑态度。上下文过长就遗忘、任务复杂就偏航、连续运行一天就崩溃 —— 这三条几乎是过去三年大语言模型难以突破的铁律，从未有过例外。直到我拿到 Fable 5 的访问权限，在真实业务场景中完成了为期三天的完整测试，才真正感受到这场技术变革的冲击力。
阅读全文Anthropic 杀疯了——Fable 5 在 FrontierCode 五倍碾压 GPT-5.5，编码 Agent 的天花板重写了
当 Anthropic 于 2026 年 6 月 9 日同步推出 Fable 5 与 Mythos 5 两款大模型时，全球人工智能行业为之震动。这种震动并非源于常规的性能迭代，而是来自一场彻底改变行业评价标准的技术碾压 —— 在 Cognition 专为真实生产级编程设计的 FrontierCode Diamond 基准测试中，Fable 5 以 29.3% 的得分，对 GPT-5.5 的 5.7% 形成了五倍以上的领先优势。
阅读全文Claude Fable 5 拿下 SWE-Bench Pro 80.3%：GPT-5.5 被甩开 22 个百分点，"编程之王"易主？
Anthropic 于 2026 年 6 月 9 日正式发布了全新 Claude Fable 5 大模型，这款被业内称为 "戴着安全锁的神话" 的产品，以 SWE-Bench Pro 得分 80.3% 的成绩，毫无争议地刷新了所有公开可用模型的编程能力天花板。比这个数字本身更值得深思的是，它所横扫的这张榜单背后，承载着整个 AI 编程领域正在发生的深刻范式转移。
阅读全文只有 3 类工作负载值得开 GPT-5.5 Pro：高 stakes 法律/金融推理·无人值守长链 Agent·客户愿意为准确率买单的溢价功能——其余都是把钱扔水里
GPT-5.5 系列定价体系公布后，迅速引发全球 AI 商用领域热议。其中，GPT-5.5 Pro 版本输入定价 30 美元 / 百万令牌、输出定价 180 美元 / 百万令牌；GPT-5.5 标准版定价仅为输入 5 美元 / 百万令牌、输出 30 美元 / 百万令牌，两者价差高达 6 倍。
阅读全文Pro 版没缓存折扣这件事很要命：同样 2000 字系统提示反复发，标准版靠 $0.50 缓存省下一大笔，Pro 版每次全价 $30/1M——这笔账你要先算清楚
GPT-5.5 系列正式定价公布后，迅速在 AI 商用赛道引发热议。其中，GPT-5.5 Pro 版输入定价 30 美元 / 百万令牌、输出定价 180 美元 / 百万令牌，反观 GPT-5.5 标准版仅为输入 5 美元 / 百万令牌、输出 30 美元 / 百万令牌，二者整体价差高达 6 倍。
阅读全文GPT-5.5 Pro 的 $30/$180 不是给你日常聊天用的——拆解它和 gpt-5.5 标准版的 3 个本质区别：推理深度·错误率·无缓存折扣意味着什么
当前市场普遍存在认知误区，认为 GPT-5.5 Pro 是标准版的全面增强版本，可无条件替代使用。事实上，两款模型并非简单的优劣升级关系，而是定位、机制、成本、适配场景完全割裂的 AI 算力引擎。
阅读全文创业公司 AI 成本账：用 GPT-5.5 做主力月烧 $8K，切 Qwen3.7-Max 同类方案降到 $600——但你需要补的 3 个工程短板（工具调用稳定性·格式遵从·拒答率）
在 AI 商业化落地进程中，算力成本控制成为初创企业降本增效的核心抓手。不少初创团队将主力模型从高价的 GPT-5.5 切换为通义千问 Qwen3.7-Max（阿里云百炼）后，月度 AI 账单从 8000 元压缩至 600 元左右，成本落差高达 13 倍。
阅读全文DeepSeek-V4-Pro $1.74/$3.48 与 GPT-5.5 $5/$30：同任务输出 token 数差异有多大？一张表告诉你什么场景可以安全迁移、什么不能
当前 AI 大模型应用进入精细化落地阶段，GPT-5.5 与 DeepSeek-V3 作为主流商用模型，常被用于成本与性能对比。从官方 API 定价、输出效率、综合性能到落地成本来看，两款模型并非简单的贵贱之分，而是适配场景、推理能力、成本结构的全方位差异。
阅读全文虚拟卡充值 Gemini 成功后又被风控撤回？3个信号说明你在"观察期"，该做的补救操作清单（不是换第4张卡）
不少用户借助虚拟卡完成 Gemini Pro 订阅充值后，初期可以正常使用全部付费权益。但短短一周左右，账号突然提示状态异常，原本开通的 Pro 服务被降级为免费版本。银行端已完成扣款，平台却既未恢复服务，也没有主动退款。这类问题比支付环节直接遭拒更让人困扰：支付失败能第一时间知晓结果，而后台风控回收权限往往悄无声息，等到用户察觉，损失已然产生。
阅读全文