约束求解领域的国际赛事 SAT Competition 2026 刚刚收官。
冠军来自一支联合团队。
华为诺亚方舟实验室牵头。
云天筹求解器团队和华中科技大学一家计算中心一起参与。
这个冠军和往年不太一样。
今年第一次开出 AI 赛道。
规则很清楚。
经过 AI 调优的求解器，性能必须超过最好的非[……]
华为拿下 SAT 2026 AI 赛道冠军：求解器开始自己改自己
分类： 经验动态
一份 313MB 的加密文件，让近 400 名开发者开始自查
一句话描述设计直觉，AI 跑完整套计算：MutexaGPT 把酶工程流程自动化了
一个念头，过去要用一整套计算流程去验证
设计一种新的酶，很多时候并不是先有一个明确的计算公式。
经验丰富的蛋白质工程师会先看结构。这一步没有公式，靠的是直觉。看着看着，念头就上来了。
活性位点是不是太小了。把某几个氨基酸换掉，让口袋大一些，是不是更能装下体积偏大的底物。
又或者，让两个结构域之间稍微[……]
200TOPS 塞进一台桌面机：中科通量把视频 AI 搬下服务器
数贸会的这个展台，摆的是视频 AI 全线
9 月 23 日到 27 日，第五届全球数字贸易博览会在杭州大会展中心举行。
这是国内唯一一个以数字贸易为主题的国家级展会。来的都是想第一时间看到新技术和新产品的人。
中科通量的展台在 2 号主题展馆。
这家公司做的是视频智能和智能算力。这次他们把六个方向的[……]
Muse 登顶美国榜：Meta 押个人端，国内大模型挤在办公赛道
9 月 8 日，Meta 上线了一款个人智能体。
名字叫 Muse。
上线五天，它在美国的下载量冲到 73 万次。
上周五，它把 ChatGPT 从美国苹果免费应用榜第一的位置上挤了下去。
到现在还占着。
受这波带动，Meta 股价周一涨超 11%。
美股算力板块跟着集体走强。
一款消费级产品爆红，[……]
GPU 里塞进一颗神经核：Imagination E 系列首秀，AI 超分只要 2.3 毫秒
华为拆解物理智能：机器人上岗卡在「协同」这一环
钱到位了，干活的机器却不多
2026 年，钱正往 AI 走进物理世界这条路上涌。
一家数据机构的统计显示，截至 5 月 11 日，国内具身智能领域今年已披露投资 218 起，金额超过 577 亿元。不到半年，就超过了去年全年的 357 起。
摩根士丹利年内第二次上调中国人形机器人出货量预测，从年初的[……]
答对了，理由却错了：港科大给法律智能体的幻觉画了张地图
机器人只会“看到杯子就该抓”：有人给它补了一堂物理课
当下，具身智能的商业化路线撞上了一堵墙。
这两年的机器人演示一场比一场好看。视频里的人形机器人翻个跟头，顺手把桌子收拾干净。可一进真实场景就露怯。北大与 BeingBeyond 联合发布的 BeTTER 基准，把这层窗户纸捅破了。
最先进的 VLA 模型，在标准静态测试里表现还行。一旦引入空间布局偏[……]
AI 博士生的发问：学术界的路是不是变窄了
一位在读博士生的抱怨，这几天在 AI 圈里被反复提起。
他叫曹晋，在美国德克萨斯大学奥斯汀分校读计算机方向的博士。前段时间他去做了一次顶级会议的审稿。翻完几十篇摘要，心里冒出一个不太舒服的念头。这些方法，和他两年前刚进入三维视觉领域时学到的套路，几乎一模一样。
图注：曹晋在社交平台上的原帖，直言学[……]
