01 美团开源大模型上新 美团龙猫团队开源了一个专门做数学定理证明的模型：LongCat-Flash-Prover。  数学定理证明不是算对答案就完事了 ，它要求每一步逻辑都能被严格验证，半点含糊都不行。 ...

  3月17日，在东湖高新区AI+行动推进大会上，光谷发布2026年人工智能工作计划和年度十大重点任务（点击了解），将建3万平方米OPC（One Person Company，指“一人公司”）社区，打造全国智能体...

大模型真正开始“干活”，token需求或增长百倍。

有史以来最强，训练已完成

近日，开源世界最具影响力的项目之一 Node.js 正面临一个前所未有的抉择。

刚刚，谷歌发布 Gemini 3.1 Flash Live，专为实时对话打造的语音模型。

336家已退场，仅52%体面上岸

当地时间 3 月 26 日，GitHub 宣布，自 4 月 24 日起，除非用户主动选择退出，Copilot Free、Pro 和 Pro+ 用户与 Copilot 的交互数据将被用于训练和改进其 AI 模型。

当大模型能自动修复bug时，软件工程的本质是什么？TDD/DevOps何去何从？

  新智元报道   编辑：好困 艾伦 【新智元导读】NeurIPS制裁条款引发强力反噬！官方「先禁后问律师」遭群嘲，中国科协重磅出手将其含金量制度性归零。随着清华教授等顶尖学者集体退审，这场...