比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

1、博鱼手机 2025年3月，那次视觉重构—— 刷新观感、砍掉冗余功能、把无数小细节一个个拧紧，让一个正在疯狂膨胀的产品重新变得「像一个整体」。

现在扫码 · GDPS场景征集 有场景痛点？交给GDPS，全球赛队免费来答 提交场景痛点 → 联合设计赛题 → 9—10月实景硬测 【GDPS场景 · 扫码报名】 长按识别小程序码 · 提交场景痛点 · 7月场景征集窗口限时开放 场景征集咨询 周老师：17721330272 为什么场景方要进GDPS？ 市场越卷，越不能只把具身智能当做行业新概念、技术背景板。博鱼手机每年7月，世界人工智能大会（WAIC）在上海启幕，作为全球瞩目的产业创新窗口，它让成熟方案同台亮相，在此汇聚人工智能与具身智能的产业高度，凝聚方向共识。

2、41年产业积淀与江南大学科研赋能，江南肽谷深耕小分子肽赛道

（图源：RAND） 备课、上课、改作业、填表、开会，一大半拖到晚上和周末。

3、在公交车上，偷听一个大叔打电话。

从芯片到整机到操作系统到应用场景，一条完整的产业链开始成形。

4、重庆合川高温有人热死？警方辟谣

」 这条视频，128万播放。

5、限时福利来袭｜《遇见·哈尔滨》哈冰秀推出买一赠一，98元双人解锁夏日冰上视听盛宴

大脑再聪明，如果底下的算力调不动、如果生成的Token太贵企业用不起、如果系统三天两头宕机，再宏大的AGI愿景也无法落地。

这意味着当它碰到人时，能够瞬间做出反应、主动控制力度，而不是像一块生铁般被动承受。

经验，是记忆经过高效抽象与表征之后的结晶。

6、国际人士积极评价中国携手各方构建公正合理的全球人工智能治理体系——“展现了推动人工智能普惠向善发展的大国担当”

认知主权解决的是企业如何形成判断、执行行动、评价结果和持续进化的控制权。

值得一提的是，Axiom Math的创始人洪乐彤年仅25岁。

7、5年1.1亿美元！感谢掘金：这个二轮秀的年薪翻了3倍

一个提示词换来一次回答，一个循环换来的，是合上电脑之后还在替你干活的系统。

第一步，生成：人给出少量信息，AI生成初稿。

8、全网都在晒偶遇！“蜘蛛侠本侠”来上海啦，同款打卡路线→

不到两年的「三连跳」 开创技术路线，完成产业闭环 把时间轴拉长，我们会发现WAM-TTT的发布绝非偶然。

至于背后是哪个大模型，至今未知。

但今年，这道门槛被打穿了。

9、重磅！中国反兴奋剂中心：白边违规

总结与展望 研究人员提出BadDLM，首个面向扩散语言模型的统一后门框架。

怎么把代价降下来？ 王晓刚打了个比方：开车时你不用记住路边每一棵树长什么样，只要盯住车速、车距和道路边界。

10、老伴睡梦中突发脑溢血离世，上海76岁阿婆逐渐对睡眠产生恐惧，社区医生出手了

再看那座光鲜的奖杯。

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

1、费迪南德：英格兰可以夺得世界杯，阿根廷比我们更接近出局

正是这一视角的转换，构成了本文研究的出发点。

2、韦东奕拿国家二等奖仅1天！荒唐的一幕出现了，嫉妒心真害死人

新智元报道 一段3分钟的AI短片，炸了。

3、亚运会男足抽签出炉：中国队与阿联酋、伊朗、朝鲜同组

店（Token流通枢纽层）：AI时代的「超级电网」 这一层的核心武器，就是AI Ping一站式Token服务平台。官媒亲宣，35岁韦东奕再破天花板，让王虹和整个学术圈“沉默”了在WAIC，中国「心脏」在跳动 2026年的夏天，在上海世博展览馆H3馆，小象电动的展位，注定不只是展示几款电机而已。

4、丑闻！53岁国足名宿殴打小球员 3天扇20余耳光 曾因踢假球被终身禁足

随框架一起公布的跨环境实测里，双方正式pk，结果令人意外—— 光照一变、物体一换、背景一乱，π0.5的平均成功率直接砍半，而WAM-TTT泛化保持率为76%！ 想象机器人进家的第一天：你家的马克杯它没见过，厨房灯也偏暖，台面还比它训练时高5厘米。

5、乒超常规赛上海地产8-5战胜米粒队 林诗栋表现出色

八个月前，OpenAI就发过ChatGPT for Teachers：同样免费、同样面向美国K-12老师、同样免费到2027年、同样拉上了美国教师联合会（AFT）。

6、山东掀翻联盟第一，拒绝27分大逆转，三外援发威，陈林坚是功臣

1995年，Benjamini 和 Hochberg 提出了著名的BH程序，用于控制多重假设检验中的假发现率（FDR）。

金融想做风控、报表、智能运维，合规和数据安全是红线，享受不到公有云「封装成API、开箱即用」的便利，自建一套，选型、调优、监控、排障全得自己扛，非AI出身的IT队伍根本玩不转。

审核决策效率提升5到8倍，目前已经稳稳扎进多家头部银行的信贷风控场景。

7、少一人又何妨？美国队铁血进攻击溃波黑，强势晋级印证进攻是王道

它在SeClaw上归零，也并非被防住，而是SeClaw干脆不再加载这类插件。

6月，Anthropic发布Claude Science预览版，专为加速科学研究设计。

8、斯科特出局！曝其首选切尔西而非曼联，继姐也无法说服他向往红魔

编辑：大卫 所罗门新智元报道 2026年WAIC的展厅里，人潮涌动。

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

技术要求需攻克多模态感知、力控插装与检测协同难题。

AtomWorld的真正意义，正是通过自动生成任务、标准结构与匹配反馈，为材料建模的动作数据与训练闭环提供底座，推动AI for Science从追求更大的通用模型，转向在可验证的科学操作中迭代真实行动能力。