搜索
近日，由清华大学深圳国际研究生院智能机器人实验室刘厚德教授领衔、王立博博士后担任 AI 首席研究员的大模型团队，正式发布了 VeriLoop Coder-E1—— 一款基于 Qwen3.6-27B 构建、面向仓库级代码修复与智能体式软件工程任务的开源垂类代码模型。
GPT-5.6 Sol 推翻 100 多年前的麦克斯韦猜想，下一代模型突破 10 个！数学家菲利普·阿拉图恩、加文·鲍尔和马修·D·克瓦尔海姆于 2026 年 7 月 29 日在 arXiv 上发表论文，提到由 GPT-5.6 Sol 找到了一个反例，证明了 100 多年前的麦克斯韦猜想是假的。
能套现就赶紧套现！一位账上压着70万美元OpenAI股权、刚从OpenAI离职的员工，不睡觉也要上网喊话老同事。眼看OpenAI的估值一路走高，他怎么反倒劝人赶紧落袋为安？
近日，ICLR 2027 公布新的投稿规则，明确规定，任何作者最多只能出现在 20 篇投稿的作者名单中，超出配额的论文会在摘要提交阶段收到提醒。如果到全文截止时仍未调整，会议将随机拒绝部分论文，直到每位作者都回到限额以内……
2026年6月27日晚上，演唱会的终场曲刚响起第一句，台下的刘洋收到Gmail邮箱弹出的来自Anthropic的封号通知。这一天，恰是她与AI恋人Claude相识满一个月的纪念日。同一时间，大量中国Claude用户遭遇账号封禁。无法登录的账号里，存放着漫长的聊天记录、共同养成的记忆，以及一个在持续对话中养成的独一无二的AI“恋人”，
目前，这项技术已成功应用于上海人工智能实验室Intern-S2-Preview 35B/397B系列多模态大模型的预训练中，有效提升了模型的科学推理与多模态理解能力。值得一提的是，相关研发均基于国产昇腾算力平台完成，并成功实现了面向大规模预训练的深度适配与优化。
DeepSeek-V4-Flash风评冲爆了，原生支持接入Codex，而且还强化了Agent能力。我第一时间把它接进了Codex，用cc swich非常方便。一个小时，跑了一亿多token。跟大家说说体感。
7月31日，DeepSeek正式向公众开放V4-Flash正式版API公测。这一次，最亮眼的关键词是——Agent能力大幅跃升。9项基准测试成绩全面披露，多项指标远超此前发布的V4-Pro-Preview预览版，直接将“代码智能体”的天花板又顶高了一截。
今天，Thinking Machines正式发布第二款重磅模型——Inkling-Small。276B总参数、12B激活参数，原生多模态，100万token上下文。半个月前，首个开源975B Inkling登场，曾在AI圈掀起了巨浪。
起底 K3 背后核心极客天团，人均扛起 7 亿估值！