挑战赛设置高通量药物虚拟筛选、靶向分子设计、蛋白质构象系综生成、神经算子自动改进等前沿任务，部分参赛智能体方案在竞赛范围内展示了具有挑战顶级水平的架构设计理念和问题理解深度。

1、乐鱼全站 这次Gemini 3.5 Pro的延期，让所有人清醒—— 我们正处于平台期。

这个瓶颈，就是「Reasoning Generation」。乐鱼全站纳德拉所说的Token Capital，只有被沉淀为企业自己的认知资产，才是真正的资本。

2、资本主义太可怕了！德国工厂每星期要工作 5 天，一天要干 5 个小时

输出的界面代码逻辑错乱，组件嵌套混乱，交互逻辑断裂，完全无法投入实际使用。

3、穆霍娃手术北美硬地赛季基本报废，西西帕斯时隔504天重返决赛

要知道，130这道门槛之前一直没被跨过去。

4、从F1®引擎轰鸣声到品牌主题曲： Sting唤能携手艾伦•沃克奏响F1®高能乐章

官方一句话说透了定位：ChatGPT不再只是回答问题的机器，而是你攻坚复杂工作的伙伴。

5、结束17年蓝白生涯，38岁奥塔门迪宣布从阿根廷国家队退役

这就是物理智能和文本智能最大的不同：答题，打完字就结束；干活，只有瓶子真拿到、工件真放准、插头真插进，才算完成。

这些都是必要条件，但远远不够。

今年的WAIC，含金量可谓空前。

6、全国团体冠军赛：江苏队3比2胜北京队夺冠

一个放得下办公桌的盒子，能跑70B到150B参数大模型的原生推理，能基于分布式架构实现多智能体（Multi-Agents）并行计算与智能调度，还能通过2×10G RDMA多机级联，攒出一个桌面集群。

这两件听上去朴素的事，恰恰是今天最强的AI所没有的。

7、萨巴伦卡取经德约，读懂赛场攻防与心境之道

AI不再「显灵」 开始打卡上班 过去几年，大模型公司带给大家的是一种近乎宗教性的想象。

过去，卖国产显卡，大家总担心能不能用好。

8、专访｜万兴科技董事长吴太兵：中国版 Adobe的新抉择

你说了别看，它说好的——然后连柜子带锁一起搬走了。

区别就在「创作」两个字。

再看整体。

9、高芙被赞体面人火娃登顶无悬念？奥胖集齐大满贯金花提前进决赛

但这个模型却在HLE上拿下了令人胆寒的99.44%！ 不仅如此，AIME 2025、GPQA Diamond等多个被视为「AI智商试金石」的Benchmark榜单，也全部被以满分或接近满分的成绩霸榜。

ChatGPT时刻：2年到5年的共识 当被问及物理AI的「ChatGPT时刻」何时到来时，嘉宾给出了一个惊人的共识区间：不到5年。

10、早鸟报名！Keep今夏最大户外赛事野人节来崇礼了！

最抓眼球的是入口处的「零售区」。

S0 是整个人形大脑系统立足其上的地基——用张巍的话说，「没有小脑，是长不出大脑的」。

1、不用球架投篮所以不参赛？克拉克三度婉拒三分大赛的真实原因

雅可比猜想的证伪可能只是倒下的第一块多米诺骨牌，多个猜想或将被证伪。

2、Coffee Chat、黑客松与AI社区，科技圈为何也爱社交？

一套是公开的Mensa Norway风格测试，网上人人能做，模型早就刷到140多分了。

3、乒乓全锦赛！首冠诞生，林诗栋/蒯曼逆转封王，马龙/许昕冲金良机

此前，他让Claude Fable计算TMF到KO的映射下的 BN 不变量。优质3D来了！山东男篮拿下祝铭震，补齐锋线防守短板当Turner看到受害者遇害前的画面时，他感到不寒而栗。

4、这家银行逆势扩容助贷合作名单，与美团合作方式从被推荐客户变更为共同出资

第一步：化繁为简，锁定立方图 AI特攻队首先确认前人Jaeger的结论：只要证明了「无环立方图」成立，就等于证明了所有图成立。

5、秀我中国｜我在“高原世界杯”当观众

高速抓取单件小于2.4秒，线束装配亚毫米级，双机协同全程无人干预——这说明梅卡曼德展示的不是实验室Demo，而是接近真实生产要求的系统。

6、一年前的今天，NBA停摆，做出这个决定，远没想象的那么简单

一出道直接在小红书、B站杀疯了，获得了大量反馈，评论区全是「求上线」的呼声！ 成年人哪里做什么选择？民国恋爱、玄幻修罗场、霸道疯批、绿茶修狗……主打一个我全都要。

从基础模型到基础设施再到场景兑现，这是一条罕见的全栈路径。

为此，无问芯穹推出了 “AI生产力商店”——Agentic Infra行业解决方案，以底层智能基础设施之力，助力行业客户打通降本增效的“最后一公里”。

7、北京越野发布豪华品牌泰钽，首款车型预售价29.98万元起

它会接着做小变体，直到某一个成立为止。

对p=2，v₂(12) = 2，v₂(18) = 1，gcd = 1，贡献2¹。

8、梁田田VS何巫呷｜换个赛道再度上演对手戏

一个用图表证明自己更划算，一个直接把闸门开大让你自己试。

就像Coding模型交付的不是软件，是一个会敲代码的程序员；U1 Pro交付的，是一个活在数字里的设计师。

同一份文本、同一个正确答案，只是换了标签的下游用途，它的判断就翻了面。

到了(b)部分，三个模型殊途同归：都证明了对每个素数p，黑板上所有数被p整除次数的最大公约数在操作中不变。