搜索
近日，由清华大学深圳国际研究生院智能机器人实验室刘厚德教授领衔、王立博博士后担任 AI 首席研究员的大模型团队，正式发布了 VeriLoop Coder-E1—— 一款基于 Qwen3.6-27B 构建、面向仓库级代码修复与智能体式软件工程任务的开源垂类代码模型。
“怎么全世界都在陪着12星座胡闹啊！”AI练习生马上就在要网友们的“打投”中出道了。注意看，在一档名为《12星练赛》的AI选秀节目中，白羊、狮子和射手三位火象星座练习生正在初舞台上展示唱跳实力。
GPT-5.6 Sol 推翻 100 多年前的麦克斯韦猜想，下一代模型突破 10 个！数学家菲利普·阿拉图恩、加文·鲍尔和马修·D·克瓦尔海姆于 2026 年 7 月 29 日在 arXiv 上发表论文，提到由 GPT-5.6 Sol 找到了一个反例，证明了 100 多年前的麦克斯韦猜想是假的。
Seltz为Agent自建一套持续更新的Web索引，让它能够及时看见公开网络中正在发生什么；AnySearch聚合开放Web和20多个垂直数据源，让Agent知道面对不同问题应该去哪里查；Octen则重写索引、排序和服务层，让Agent可以同时展开几十甚至上百次查询，更快、更大规模地看见信息。
机器之心编辑部 一道困扰学界几十年的开放问题，需要多少成本才能取得关键突破？ OpenAI 给出的答案是，十道题加起来，约 2000 美元。 昨天下午，OpenAI 公布了一份颇为惊人的成绩单。其下一
Factory 成立于 2023 年 4 月。彼时，企业市场连 GitHub Copilot 都尚未完全接受，更不用说完全自主的 AI 软件工程代理（Autonomous Agents）了。Matan 形容创业最初的两年是一场在沙漠中的跋涉：技术理念过于超前，工程师还没准备好改变习惯，企业采购团队也充满怀疑。
今年是FIRST青年电影展20周年，PixVerse · 拍我AI作为FIRST电影市场的首席合作伙伴，在影展期间设立了“PixVerse FIRST SET·AI影像实验室”露天POP-UP，举办了AI影像工坊，并且深度参与了电影市场的系列活动。
近日，ICLR 2027 公布新的投稿规则，明确规定，任何作者最多只能出现在 20 篇投稿的作者名单中，超出配额的论文会在摘要提交阶段收到提醒。如果到全文截止时仍未调整，会议将随机拒绝部分论文，直到每位作者都回到限额以内……
有人总结，运行 Kimi K3 其实很容易，只需要 1.5TB GPU 内存、大约 8 张 H100，以及一座小型变电站。一名开发者拿出一台 128GB 统一内存的 M5 Max，直接加载 Kimi K3 发布在 Hugging Face 上的官方 MXFP4 权重。
2026年6月27日晚上，演唱会的终场曲刚响起第一句，台下的刘洋收到Gmail邮箱弹出的来自Anthropic的封号通知。这一天，恰是她与AI恋人Claude相识满一个月的纪念日。同一时间，大量中国Claude用户遭遇账号封禁。无法登录的账号里，存放着漫长的聊天记录、共同养成的记忆，以及一个在持续对话中养成的独一无二的AI“恋人”，