原阿里千问技术负责人林俊旸官宣在上海创办 Pragmatik Labs，是今天最值得放到开头讨论的一条消息。它的看点不只是又一位明星技术负责人出来创业，而是这家公司把目标直接定在“下一代 Agent”...

OpenAI联合Cerebras把GPT-5.6 Sol推理速度提升到750 tokens/s，Google同步用Gemini 3.7 Flash降低企业Agent和Coding成本，模型竞争正在从单纯跑分转向推理速度、成本和工作流交付。

OpenAI 暂停下一代旗舰模型的强化学习训练，这个动作比单纯的新模型传闻更值得盯。它说明前沿模型公司已经开始把能力上限、安全边界和算力调度放到同一张表里计算：模型越接近高风险能力区，继...

AI for Science 正从模型演示走向实验室流程，科研智能体和一站式工作台开始重写文献、实验、验证与复盘环节。

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

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