我们是否应该陷入「AI 取代数学家」的陈旧恐慌？大可不必。

1、乐鱼官方 随着行业由样机验证走向量产与商业化，核心部件性能、系统协同能力及真实场景交付能力的重要性持续提升。

在配置相应AI加速卡后，可本地推理70B至150B参数规模的大模型，多台设备还可级联组成桌面级算力集群。乐鱼官方同时，它自带跨任务、跨时间的多模态记忆，能在失败中定向优化记忆存储，并将沉淀的数据转化为整个ABot体系的共享资产。

2、姆巴佩距离金球奖到底有多远？两点不改变，接棒梅罗就是天方夜谭

AtomWorld并非直接否定Scaling Law，而是提醒科学智能体重思 「该缩放什么」。

3、正式官宣！辽宁铁人客战天津津门虎，俱乐部有球迷福利活动

面壁智能学术合伙人、多模态智能首席科学家姚远 通过极致的视觉压缩技术，面壁将VLA模型从「算力饥饿」中解放出来，让机器人在真实物理世界中以更低的成本「跑起来」。

4、尤尔曼德加盟马竞，转会费4000万欧+浮动

这是业界头一回，把「看懂、生成、动手」原生做进了同一个多模态基座的底层。

5、出走的王子，“回家好难”

就在大会现场，我们与超维动力联合创始人兼CEO喻杰博士进行了一场深度对话。

问AI的四个手法 硅谷顶级用户这么用 Andreessen也交底了他自己问AI的四个手法。

没有人会因为CPU厂商强大，就断言存储没有独立价值；恰恰相反，由缓存、内存、硬盘组成的存储层级，自成一个万亿级产业，还定义了整个系统效率的上限。

6、拿中国当冤大头？美对伊开战划掉1000亿，特朗普：钱找北京要

工程社区对此的共识很直接：循环很强，但没有闸门（gating condition）就很危险。

问AI的四个手法 硅谷顶级用户这么用 Andreessen也交底了他自己问AI的四个手法。

7、全国书博会在杭州启幕，长江传媒携荆楚好书好物赴钱塘之约

」 甚至有人喊话Noam Brown，建议OpenAI把当代最伟大的物理学家Edward Witten和数学天才陶哲轩招入麾下：「把他们请来，我相信他们能想出疯狂的创意，直接把我们带向ASI！」 GPT-5.6能解决这个数学难题，或许还没到完全的ASI。

PixVerse Game：旨在言出法随的实时视频游戏引擎 爱诗年初发布的PixVerse R1，是全球首个支持1080P的通用实时世界模型，它能生成一个可以被用户影响的数字环境。

8、难怪普京怒喊报复！泽连斯基的“手”，伸到了最不该伸的地方

早在今年2月，电影还没上映，马斯克就在X上开炮：「诺兰失去了他的正直。

荷马的史诗流传近三千年，如今同时等来了两个版本：一部人类拍的，正在全球狂卷票房；一部AI拍的，还只是一句推文。

想让它少来回几趟，就把你平时手动检查的步骤，写进一个SKILL.md文件，让AI自己验收。

9、4强球队诞生！阿根廷3-1淘汰10人瑞士！今年世界杯半决赛对阵出炉

画面中足足塞进了五十多号人物，最绝的是完全没有AI常见的「复制粘贴」敷衍感。

到了2026年，逻辑彻底反转。

10、鸡蛋再次被关注！医生发现：癌症病人吃鸡蛋，不用多久有6个变化

3 月的偷跑版虽然不到一天光速下线了，但它提前暴露了国行 Apple 智能的能力边界：端侧模型跑得快、守得住隐私，但深度和精度必须要靠云端模型补齐。

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

1、徐工集团与东南大学战略合作签约活动举行

AtomWorld并非直接否定Scaling Law，而是提醒科学智能体重思 「该缩放什么」。

2、周末被雨水盯上！广东接下来天气……

Bloom说明，Beck那篇Annals论文里有许多重要而有趣的想法，只是这道题用不上。

3、那个不再沉默的人说：信仰不是在疑问中消失，而是在疑问中幸存

立川裕二的评价是：它似乎真的理解弦论（String Theory），而且有直觉。迪丽热巴：从流量到实力，她还能走多远？有回他只让模型跑个数据查询，模型自己回了一句：我发现这份数据一直在变，那我起个Loop，每30分钟给你出份报告。

4、澄天伟业上半年营收2.55亿元同比增21.76%

下一站，是物理世界 讲到这儿，都还是数字世界里的事。

5、法国VS摩洛哥前瞻：最强之矛遇最坚盾，奥利塞等4将面临停赛风险

早在今年2月，电影还没上映，马斯克就在X上开炮：「诺兰失去了他的正直。

6、红薯的两种做法，长胖效果大不一样！

参考资料：逐际动力完成Pre-IPO轮融资新智元报道 刚刚，网信办发布公告：Apple 智能、华为小艺 AI 大模型、OPPO AndesGPT 大模型、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI、努比亚豆包手机大模型，7 款手机端侧生成式 AI 服务通过备案。

只有安全可信，智能体才能规模化地创造价值。

谷歌把这款模型塞进代码安全智能体CodeMender里，靠多个Cyber智能体协同作战，在安全基准CyberGym上刷新SOTA，成本却比更大的模型低—— 用一个更轻的模型，干最需要精度的活。

7、穆里尼奥的皇马新援，是五后卫体系下的产物，只适用于荷兰和国米

一年预算砸下去，建了几十个模型、上百个应用，年底要跟大领导汇报成效。

WAIC 2026（世界人工智能大会）于 7 月 17 日在上海开幕，国内外 1100 余家企业参展，带来超 3000 项展品。

8、险象环生！小红枣的消化道大冒险，“闯关”又“闯祸”

bug刚修到一半，弹窗一出，全停了。

整篇报道中最具讽刺意味的细节是：在一家今年预计资本支出高达1800亿至1900亿美元的公司里，自家的工程师居然用不上GPU！ 华尔街的数据显示，谷歌今年第一季度的资本支出高达357亿美元，比去年同期翻了一倍多，这么多的钱砸下去买芯片、建数据中心，结果呢？ 面对这种乱象，谷歌正在试图亡羊补牢。

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

下一阶段对于全球的决策者而言，政策博弈的核心问题已经变得更尖锐：什么能力级别以上的模型不应开放权重。