传统本体面向描述逻辑推理机设计，其语法、公理和推理机制均围绕确定性符号推演优化；而大语言模型的介入，从根本上改变了本体的消费者形态与使用场景。

1、bob电子 本次论坛上，商汤给出了一个听起来有点反常识的答案：不造更强的卡，而是把比赛拆开，让不同的卡接力跑。

莫宗坚评价张益唐「不适合代数几何」，认为他的博士生涯「浪费了自己七年光阴，也浪费了我的时间」。bob电子真正能让一个开发者一天八小时不想离开的，是工作流有多顺、交互细节有多讲究、这个软件用起来有没有「高级感」。

2、越扒越有！张雪峰去世早有预兆，他的2个不良爱好，或成催命符

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

3、热议中国U17女篮险胜斯洛文尼亚：李沅珊30分罚球绝杀居功至伟

语言、文字、书籍、互联网，人类每一次跃迁本质上都是记忆的外化，以及智能传递方式的一次升级。

4、《海上生民乐》第七轮驻演启幕：十年磨一剑，162场再创国乐传奇

而中国「芯」的智能体时代，或许正从今天的上海滩，启程出发。

5、ETF密集拆分背后的流动性暗战

数字世界里模型错了，无非是个不通顺的词、一张不完美的图；物理世界里错一次，就是一次错误的行动，代价真实不可逆。

它还包括企业知道如何运营、如何做决策、如何配置资源、如何识别风险，以及如何在复杂环境中实现结果的独特能力。

现在这一步被抹掉了。

6、光因科技温言杰：钙钛矿当前的细节难题都能借助AI4S解决

学习闭环的竞争 未来企业之间最重要的差异，不一定是谁使用了最强的模型，而是谁拥有更好的闭环。

体系化的最大亮点之一，就在于「解耦」。

7、商务部：上半年我国消费市场持续扩容升级、韧性十足

规格摆在那儿：100万Token上下文、超高算力档、逐条安全控制，几乎和最强旗舰Fable 5的架构一模一样。

在世博展览馆H3具身智能馆，超过200家企业同台竞技。

8、央美老院长靳尚谊，在90岁高龄时画的人物油画

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

只有语言层面与物理层面的通用智能同时实现，才能实现真正的AGI。

每一个环节单拎出来可能不是最长的板，但拼在一起就是平台型的优势——优化空间来自于系统级的联合调优，这是分层割裂的模式永远做不到的。

9、中国女篮亚洲杯分组出炉！与日本女篮同组，首战菲律宾女篮，后卫线告急！

其中来自上海中学的邓乐言，张柏伦，来自华东师范大学第二附属中学的刘澈，以满分的成绩获得金牌。

作为科学智能领域的旗舰赛事，由上智院与复旦大学联合主办的世界科学智能大赛自2023年创办以来已累计吸引全球近6万名参赛者。

10、美航二季度营收167.4亿美元创新高，燃料成本暴增83%，Q3指引转亏

这些论文往往处于录用与拒稿之间，一点评分差异就可能影响最终结果。

目前大模型公司都在追求语言层面的通用智能，但物理层面的通用智能才刚刚开始。

1、世界杯决赛首发：西班牙11人不变！阿根廷更换3将 德保罗+冈皇先发

深度vs简洁：把来龙去脉讲透，还是你问什么答什么。

2、当AI重塑科研生态，诺奖得主奥马尔·亚吉为何更关注“人”

录屏讲解的门槛比写文档低一个量级，产出的 Skill 人能读，AI 也能直接跑。

3、谷歌云单季猛增82%：AWS财报前夜，行业龙头收到一份大礼

Andreessen说，这些朋友里有相当有名的人，现在见面「气色很差，黑眼圈很重，明显没在照顾自己」，但一个比一个兴奋。抢下男篮国青第一后卫？广东队迎来补强机会，这可是加强版徐杰！Anthropic前不久还上线了Routines，把同一套机制搬到服务器端，合上电脑，它照跑不误。

4、离谱闹剧！赢韩国夺冠51天即下课，足协瞎折腾毁掉国青希望

也正是在这个时候，她说出了那句让整个设计圈坐立不安的话。

5、3-2！2-0！疯狂世界杯：2场逆转绝杀 美国晋级 10队锁定16强

等价定理：将后门转化为诱导掩码过程 直接对样本施加不同权重会带来高方差的批更新与较差的采样效率。

6、中东地区最大的自然历史博物馆，建筑如“巨石阵”！

估值直冲16亿美元。

这是对国产算力价值的巨大反向印证。

通过简洁的API，PhyAI在发布首日即完成了对MiniCPM-Robot的适配支持，并使用CUDA Graph 进行加速，推理帧率从10.20 Hz提升至33.2Hz。

7、总出问题的马拉松兔子，还有必要存在吗

Notion、Obsidian管的是你自己的笔记，谷歌搜索管的是全互联网的信息。

如今，一个致命痛点正浮出水面：造Agent的人越来越多，但底层的「AI电力」——Token的供给、调度与管控，却是一片混乱。

8、湖北农发集团原总经理陈华志接受审查调查

因为一个亲手宣布旧规矩死亡的人，接下来要做的事只剩一件——去立新的。

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

但NanoGPT这个项目的说明写着，「请以PR形式提交到GitHub」。