菲尔兹奖得主陶哲轩在今年的公开演讲中给出了一个精准判断：AI已经从「满嘴跑火车的低效研究生」进化成了「能攻克数学难题的初级合作者」。

1、kok平台网址 模型训好了，装到真机上仍然有一道关。

说到底，它更多是一种情绪，而不是一把精准的尺子。kok平台网址量子位：苏度的仿真路线，在电池模组场景中有什么独特优势？ 韩铮：一句话概括——极致的可靠性。

2、历史性突破！中国籍数学家王虹、邓煜获得菲尔兹奖

它考验的不是模型记住了多少题目和数学知识，而是在一个真正未知的问题第一次出现时，模型能否独立理解、探索，并最终完成严密推理。

3、2010年牧马人Rubicon无底价拍卖：4寸升高、35寸胎、前后锁

灵犀想把负责范围再往前推一步，它处理的不只是一份文件，而是一整项工作。

4、从能飞到好用，中国eVTOL出海落地提速

同一篇访谈里他透露，AI已经让他的科研效率翻倍，2025年一年他往arXiv传了5篇数学论文。

5、智元创新已启动赴港上市流程

它用长期坚守质量底线的笨功夫抬高了行业的竞争门槛，迫使跟风企业不得不提升产品质量标准，引导整个家电行业摆脱了低质低价的标签，向中高端迈进。

再往上到顶，对应的是开源生态运营与合规治理。

比如需要分钟级创建万级沙箱，并且RL过程要可观测、可存储。

6、冠军中锋难以终老辽篮！乌戈放弃优先续约权，他恐成下一个弗格

·把新项目PRD的摘要发给Slack上的Nick。

比如，成片结尾男主角的定格镜头稍微有点长，有点拖沓，be like： 其实按照过去的习惯，我一般会把成片先下载下来，再导进剪辑软件，然后一帧一帧狠狠修补一番！！！ 然鹅…这次我发现，LibTV Agent页面里占据最大面积的那块「画布」，真的足够解决绝我全部的修改需求了—— LibTV Agent把画布分成了「故事板」和「节点式工作流」两个视图模式，是可以随意切换的内种。

7、穆里尼奥封神！皇马放弃 1.2 亿巨星太明智，世界杯决赛彻底崩盘

问他希望怎么被记住。

第二，从“单打独斗”转向“生态共创”。

8、英格兰传奇基冈去世享年75岁：他攻破苏格兰大门，却深爱这里并在此安家

因为大家都很专业，二期刚投完，三期就接上了，完全无缝衔接。

身体让行动产生代价，环境提供反馈，他者带来规范，历史则让失败沉淀成经验。

量子位：苏度想打造具身行业的iOS，但「具身的iPhone是什么」这一点都尚未形成共识，您认为具身智能的「iPhone时刻」应该是什么？ 韩铮：会是我们第一次系统性地向市场提供量产设备的时候。

9、青岛西海岸本轮能战平成都蓉城！球迷公认他功不可没，曾留洋欧洲

甚至已经有人开始尝试新的工作流： 让Grok负责执行开发，再交给Fable做代码审计，进一步发挥两者各自的优势。

放眼全球具身智能版图，真正有资格在这场终局之战中坐上头等舱牌桌的玩家，寥寥无几。

10、帕特里克·凯恩回归芝加哥：一个让所有人都觉得完美的决定

如何将不同来源、不同格式的医疗数据进行治理、连接和整合，让它们成为可被AI调用的基础资源，是元医院首先需要解决的问题。

一个20MW规模的智算园区，整体交付周期因此能压缩到4.5个月。

1、足协杯16强仅差一席！中超6队第二个比赛日均过关，中乙2队晋级

” 他认为，手机厂商进入反而能做大市场蛋糕，完成大众用户教育。

2、台风中心经过附近海域风力14级，广东省内铁路全线停运

2024年8月，邓煜和他的合作者Zaher Hani、马骁共同发布了一篇论文，从硬球系统的牛顿动力学严格推导到玻尔兹曼方程对于某个气体模型的模拟。

3、不仅拿了NCAA冠军，还有3人进入NBA乐透区，这是属于密歇根的一年

多家机构给出了中性偏乐观的评级——花旗自2月以来持续维持“中性”评级，并调整估值模型以反映机器人业务价值，麦格理在6月1日将评级从“跑输大市”上调至“中性”，高盛在研报中指出，理想汽车一季度的亏损在预期之内，真正的看点在于战略转型能否在下个季度兑现。俄军32米级“大锅”，10天连炸两次，前线数十万大军或将乱套？面对科学智能（AI4S）领域长期存在的“通用认知”与“专业知识”难以兼顾的难题，Intern-S2-Preview-397B通过底层架构的根本性革新，尝试为复杂科学任务的推理构建新的基座。

4、中甲第15轮结束了所有比赛，最新积分榜如下！

有温度的AI，才是民生发展的数字底色 从趣味的Agent人格测试，到读懂城市需求的AI底座，再到覆盖民生、产业的实景体验。

5、印度冰球首对母子上演世界杯传承：母亲1998年征战荷兰，儿子27年后同地首秀

剩下的问题就只有： loop具体是指什么？它怎么就突然火起来了？ loop到底是什么 要理解loop这个新东西，我们得先回顾一下之前的那套旧范式。

6、玩转阿勒泰

“个人认为，光伏产能已经接近出清，这轮下行周期已到尾声，只是外部感知会稍慢一点。

此外，金山办公推出了面向个人的灵犀专业版和面向组织的WPS Comate，阶跃星辰则将智能体原生操作系统引入了手机与汽车场景。

而文远知行代表的，则是近年来快速发展的一段式端到端算法、世界模型以及Physical AI能力。

7、岳阳市中心医院肿瘤科加入全国肿瘤临床研究协作组，学科发展再上新台阶

进一步深挖其长期以来在国产化生态搭建方面的尝试，我们发现，不管是公开信息显示的累计超40款AI大模型的即发即适配，还是太初元碁联合百余所高校、科研机构、企业等推动算力落地—— 例如与清华大学研发Teco-QSim量子经典模拟器；携手量旋科技，打造“量子-超算-智算”超智融合平台；率先完成清醒异RiverONE模型适配及龙芯平台验证；为清华大学智能产业研究院AtomWorld 原子世界模型提供512节点全液冷架构的硬件基础；与百度螺旋桨、神威数智团队成功复现AlphaFold3模型；联合湖南大学发布首个显式建模DNA双链动态交互的基因组语言模型CrossDNA；与山东大学高性能计算团队完成分子对接方法优化，构建大规模药物筛选全流程方案；联合百度飞桨为百家企业提供 AI for Science端到端方案；联合百度科学计算团队打造国产气象一体机，支持逐时动态推演与台风路径轨迹精准识别；与东润环能达成战略合作，实现训练吞吐与推理QPS的双提升；深度适配上海人工智能实验室的书生Intern-S1 AI4S多模态大模型，并联合开展AI4S生态赛事等等。

第二层，是模块化机器人硬件。

8、伊朗军方：已推演多种美军进攻场景，为应对美军地面入侵做好准备，英国外交部：从伊朗暂时撤出工作人员，建议英国公民避免前往伊朗旅行

智传网（AI Flow）的不同之处，不是简单识别哪些画面发生了变化，而是进一步改变视频的表达和存储方式：将视频编码为更加紧凑的Token，并在需要时利用生成式模型完成重建。

今年4月底，一位不愿具名的百度内部员工对《中国企业家》坦言，现在日常查资料，他“用豆包和DeepSeek比较多”，时至今日，“百度做C端产品化的能力，和字节不在一个维度上”。

光伏行业对中国最大的贡献不只是产品和技术，而是培养了一大批国际化人才。

如果你没能肉身前往，或者来不及看完一场又一场发布和展出，欢迎通过我们这份言简意赅的总结，快速了解今年WAIC上呈现的趋势。