自AI4S智能体CNS挑战赛、电力市场交易、可控核聚变、生物结构预测与古文字识别五大赛道的30支队伍齐聚西岸，在上海科学智能研究院（下称「上智院」）开展线下答辩，最终决出5支一等奖、10支二等奖、15支三等奖团队。

1、yb体育 他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

两年翻了一千多倍，这早已不是一条曲线，而是一道拔地而起的高墙。yb体育正如周伯文所言，AI 的使命应从「加速科研自动化」迈向「以复杂科研任务牵引高阶智能」。

2、克拉克全明星投票奇观：球迷媒体力捧，球员票仅第11

但这样做根本撑不起真正的智能体时代。

3、据说这是最后一辆庞蒂亚克Solstice，仅行驶7千英里，还配5速手动

他们很清楚，即便是轴向磁通电机，要满足车规级的大规模量产，依然需要漫长的验证。

4、上半年经济数据发布，释放哪些信号？

哪个残基落在哪个结构域、离活性口袋有多近，一眼可辨。

5、浪费职业生涯，段刘愚替补踢不上 竞争不过2新星 泰山青训又被挖角

ABot-N1开放环境全自主导航克服定位偏差 一旦判定导航路径或定位有误差，「慢系统」会立刻通过本体系下的视觉感知，让机器人靠像素-语言双思维链来实时行驶在合规路面。

反低效内卷 沉淀科研复利资产 如果说验证滞后制约了科研即时落地效率，那么科研经验的零散流失，便是影响 AI 科研长期进化的核心因素，也是大模型科学探索能力增长缓慢的深层原因。

赛事联动上智院、复旦大学及各大产学研生态伙伴共同出题，全面开放独家实测数据集、工业仿真环境与实体研发载体，全部赛题均源自各行业领域一线： 依托上智院与复旦在RNA、蛋白质结构方向的前沿科研积淀设置生物结构预测赛道命题；电力市场交易赛道接入蒙西电力交易中心的一手市场出清数据以及中科天机提供的高精度气象预测数据；可控核聚变赛道配套新奥玄龙-50U球形环装置高保真仿真平台；古文字识别赛道则采用复旦大学出土文献与古文字研究中心的权威古文数据集，以及上海博物馆和湖南省博物馆开放的甲骨文、金文、简牍等古文字数据样本。

6、2028届四星四分卫拒圣母密歇根选印第安纳，一周内第二名前100新秀入伙

一句「帮我建个项目追踪表」，它就交出一张18个项目、29个待办事项的甘特图：这不是聊天，是交活。

但这座宏伟的大厦上方一直有「一朵乌云」。

7、丁宝桢为什么敢杀安德海？看李鸿章的反应就知道，这是有预谋的！

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。

你搭一次页面框架，剩下的由每个查看者的身份去填：这才是真正的「一次构建、千人千面」。

8、恒大歌舞团负债1.85亿，白珊珊又低调嫁人

赛事联动上智院、复旦大学及各大产学研生态伙伴共同出题，全面开放独家实测数据集、工业仿真环境与实体研发载体，全部赛题均源自各行业领域一线： 依托上智院与复旦在RNA、蛋白质结构方向的前沿科研积淀设置生物结构预测赛道命题；电力市场交易赛道接入蒙西电力交易中心的一手市场出清数据以及中科天机提供的高精度气象预测数据；可控核聚变赛道配套新奥玄龙-50U球形环装置高保真仿真平台；古文字识别赛道则采用复旦大学出土文献与古文字研究中心的权威古文数据集，以及上海博物馆和湖南省博物馆开放的甲骨文、金文、简牍等古文字数据样本。

在自我递归能力上，Kimi在技术报告中称，「K3与Fable-5（含潜在回退方案）达到了相近性能，但K3每次迭代的优化速度更快。

但仔细一想，会发现问题。

9、报告：中国算力总规模世界第二，五大细分赛道增势明确

Anthropic教育负责人Drew Bent举了个例子：让它讲「怎么构造线性函数」，它会先把对应的课标拽出来，标好学生在这一块最容易犯的那些错，再围着这些错去搭这节课。

一边是Gemini三连发，一边是Gemini 4开跑。

10、埃弗顿女足官宣：重伤中场霍尔姆高签下一年新合同

定性对比：少走弯路，轨迹更直接 在随机采样的LIBERO任务中，Baseline往往出现冗余纠错动作和目标附近的hesitation/jittering；PolicyTrim的轨迹更平滑、更直接，能够用更少物理步骤完成同一任务，通常能将物理步数压缩至原来的一半左右。

每步操作，如果gcd(m,n) = d > 1，新的两个数的乘积是mn/d，比原来小，全局乘积P严格变小。

1、切尔西锁定15岁美国天才转会费或达千万美元将创MLS青训纪录

DM0.5在机器人数据上加了11种自回归推理任务。

2、扭矩矢量控制真能让无声电动车变有趣吗？

随着大模型持续提升机器人的感知、理解与决策能力，机器人能否稳定、精准、安全地完成真实任务，正成为产业关注的重点。

3、2026足协杯16强落位：国安上签，海港争冠难度大

但把目光放向全球，答案会截然不同。惊天逆转！比利时让2追3加时125分钟点杀晋级 塞内加尔读秒出局只有安全可信，智能体才能规模化地创造价值。

4、38岁库里坦言“篮球不能打一辈子” 妻子坚信他还能再夺一冠

说白了，老师要的不是AI「能生成」，而是「生成的东西直接能用」。

5、伊布发问：如果这样的梅西都拿不到金球奖，还有谁配得上？

再加上算法的进步、更大的模型和更多的算力，事情开始变得有点吓人了……」 当然，也有清醒的质疑声。

6、一场决赛让梅西丢了多少纪录？队长连冠梦碎，金靴奖仍在空缺清单上

真正改变的 并非循环本身 当然，也不能把「设计循环」说成一场从0到1的革命。

更魔幻的是另一幕。

而且，五个旧接口一项没坏。

7、一支NBA冠军球队，两个老板的博弈与分权

Hassabis更直接：这太尴尬了。

在模型和芯片都还在高速演化的阶段，灵活组合比把单一模型再优化20%更重要。

8、匈牙利大奖赛天气预报：周五周六降水概率0%，周日正赛现40%降雨可能

想推给客户的产品，一定是自己先足够深、足够广地用过。

一直带领OpenAI与Anthropic贴身肉搏的他，公开把过去一年定性为「不够好」，还主动把锅往自己身上揽，这本身就够反常。

Excel、Word、PPT三大Office格式，加一个Web页面，直接交付，格式可调、随时可改。

权限越大，智能体就越像一个你信任了很久、却可能在某天突然反水的内部员工。