OpenAI宣布将在11月12日停止向Cursor提供GPT模型访问，并明确不会把下一代最强模型Astra提供给这家由马斯克收购的编程工具公司。Cursor联合创始人回应称双方仍在协商，而OpenAI模型目前约占Curs...

AI正在进入可验证的生产环节：形式化验证发现深层软件漏洞，量子化学模拟大幅降低计算成本，医疗与工程应用也开始用可复核结果衡量价值。

腾讯混元把Hy4 Preview的总参数推到770B，并把重点放在Coding Agent的连续执行能力上；Anthropic则把Claude直接放进浏览器，让它可以在网页里浏览、点选、填表和拉取信息。两个动作看似一个属于...

Recursive Self-Improvement正在从理论命题变成AI自动化研发、代码实验和可验证进化系统；模型如何改进自己，正成为下一轮AI竞争的新问题。

OpenAI发布Rosalind Workbench，把生命科学中的证据检索、结构分析、基因组学与实验流程连接到同一工作台，AI科研竞争开始从模型问答走向可复核的专业交付。

谷歌发布Gemini 3.5 Transcribe，支持85种以上语言并显著降低实时延迟。语音、记忆、连接器与定时任务正在共同把AI助手推向真实工作流。