搜索
今天，月之暗面发布并开源Kimi K2.7 Code编程模型，参数量达1.1万亿，提供256K上下文窗口。这一模型重点提升了长上下文编程场景的指令遵循能力、长程编程任务的性能表现，并且大幅改善了在长程任务中的过度思考倾向，平均token消耗减少30%。
陶哲轩又发成绩单了。
刚刚，Google 甩出了 Gemini 3.5 Live Translate。这是它最新的语音对语音翻译模型，一句话概括：把「等你说完再翻」的老规矩，直接掀了。Google DeepMind 首席科学家 Jeff Dean 亲自发帖官宣，字里行间透着一股「二十年磨一剑」的底气：
视频生成，早已不止于视觉。
2026年的文娱行业，正在经历一场悄无声息的人事结构变革。
2007 年，乔布斯用一块 3.5 英寸的屏幕，将人类的信息交互折叠进了一个发光的二维平面。
几经波折之后，我们终于将手里的几台 iPhone 都更新到了 iOS 27，体验到了五年以来最重大的一次 Siri 更新。
无论「机器人女友」的反对声音多大，消费端已经开始买单。
形式化定理证明，一直是LLM公认最严苛的推理试金石，每一步推导都必须通过Lean 4内核的机器验证。
过去一个多月，大模型圈依旧热闹。从 GPT-5.5、DeepSeek V4 到 Claude Opus 4.8，后训练正在成为模型能力提升的关键引擎。