如果你因为太热、太懒、太忙，没法来WAIC；或者是来到展馆，却不知从何逛起，在这份指南里，我们帮你把重点划好了。7月26日，世界人工智能大会（WAIC 2025）在上海世博展览馆开幕。这是一年一度中国AI领域最重要的盛会，没有之一。
就在刚刚，Meta 宣布，清华校友赵晟佳（Shengjia Zhao）将正式担任其超级智能实验室（ MSL）首席科学家。
一年一度的 WAIC 在明天就要开始了，在正式开展之前，我跟随官方的 city walk 路线探访了一番。 我探访的这条「AI+智慧生活路线」一共有三个目的地：上海发那科机器人有限公司、上海腾讯滨江大厦、模速空间的智能产品体验中心。
在硅谷最新一波 AI 创业热潮中，有一家公司的成就让我彻底震惊。Swan AI 创下了几乎所有创业常识都认为不可能的记录：仅用 3 位创始人，没有任何员工，在短短 9 周时间内从零客户、零收入，飙升至 80 个付费客户和接近 100 万美元的年化收入。更令人难以置信的是，他们实现这一切没有筹集大量资金，没有雇佣一个销售人员，没有投放一美元广告，甚至没有建立客户支持团队。
人工智能和数学是密不可分的。 AI 的发展离不开数学的进步，同时 AI 的进步也离不开解决数学问题的能力。
谷歌DeepMind不信邪。 这不前脚，谷歌刚获IMO金牌，小扎就光速挖走三名核心团队成员。 如此抓马又无语，更多人都劝谷歌DeepMind小心点儿吧，要不以后论文署名都匿名吧，实在不行学习中国互联网公司用花名吧……
前两周，广东某国企发了篇万字标文，以预算四十万招标一台DeepSeek一体机。 近乎30页的文档里，采购明细表短短6行，所需的芯片类型等关键指标，只字未提。“看这个标就知道，大家完全没把一体机用起来”，业内人士直言。
又到了一年一度“中国AI春晚”WAIC，各家大厂动作频发的时候。 今年会有哪些看点？你别说，我们还真在扒论文的过程中，发现了一些热乎线索。 比如蚂蚁数科的金融推理大模型，发布会还没开，技术论文已悄咪咪上线。 金融领域的推理大模型，你可以理解为金融领域的DeepSeek，带着SOTA的刷榜成绩来了。
等了50年，AI教父Hinton终于「真人现身」中国了！这位图灵奖+诺奖教父级大神，不仅亲自踏上魔都土地，还与市委书记同框合影，瞬间刷屏全网！最近他再次预言，AI已进入觉醒倒计时。现在全网都在翘首以待，准备迎接明天他的高能演讲。
如何理解大模型推理能力？现在有来自谷歌DeepMind推理负责人Denny Zhou的分享了。 就是那位和清华姚班马腾宇等人证明了只要思维链足够长，Transformer就能解决任何问题的Google Brain推理团队创建者。 Denny Zhou围绕大模型推理过程和方法，在斯坦福大学CS25上讲了一堂“LLM推理”课。
