AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

1、米兰体育 Dyna的DYNA-1把折餐巾做到99.4%、24小时85多张，直接开进真餐厅。

星火智能语音VoiceWise，通过高性能CPU版ASR让企业彻底摆脱对昂贵GPU的依赖，同等算力下在线识别并发路数提升约90%。米兰体育一瞬间，全球AI圈沸腾了。

2、从年薪5300万到年薪400万，詹姆斯经历了什么？杨毅揭示了答案

菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

3、“自己就是自己的靠山”，独家对话女性青年企业家肖丹

这体现了行业的整体趋势：安全检查必须尽量回到代码诞生的那一刻。

4、瓦伦西亚视频

这意味着它不再是「问一句答一句」，而能自己把活儿往前推，甚至设成每天定时跑的任务。

5、天台上站满了赌球的人。

他将记忆拆分为两个环节： 保持（Retention）：经验在神经中留下痕迹； 回忆（Recall）：从当前线索出发，沿联结网络重返过去情境。

让它出一节课，出来的不是一份漂亮但悬空的PPT，而是一份已经对齐到你所在州课标、按学习顺序搭好台阶的教案。

怎么把Token送到科室、送到一线，成了新命题。

6、70岁保洁母亲被判替女还债百万元，通话录音成为呈堂证供，母亲痛哭喊冤“是女儿捏着嗓子冒充我”

它在沙盒里足足找了一个小时的漏洞，硬是挖穿了隔离墙，绕过外部访问限制，成功在公开GitHub仓库开出了PR#287。

假奖杯、假难民、假行善，一场教科书级的AI慈善骗局，正在疯狂收割大众的善良。

7、世界杯决赛打人！妻子声援阿根廷名将：满心敬佩，2个孩子以你为榜样

在分析层面，它提供了一套完备的概念框架来描述模型所处理信息的结构化形态——我们可以追问一个陈述中是否隐含了「实体与偶性」的归属、「因果性」的判断或「模态」的承诺，从而系统描述模型构建了何种知识结构，而非笼统地说「模型似乎理解了因果关系」。

Token不再只是聊天的开销，还成了重构企业流程的「生产资料」。

8、山东再添对韩海上高速通道！日照—韩国仁川集装箱班轮航线获批开通

这一类最反常，也最麻烦：负责给AI打分、抓这些错的AI裁判，自己也会作弊。

没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

最终证明，这个方程组永远有解！ 当公式(8)和(9)划上句号，最后推导出等于0（在域中）时，证明结束了。

9、哈焊华通：截至目前公司尚未制定股份回购相关计划

在这条跑道上，27000套已经跑完的路程，就是最好的简历。

（图源：OpenAI官网） 更微妙的是，据TechCrunch报道，原告此前指控OpenAI一直谎称自己「搜不了」这些日志。

10、德里赫特无缘曼联季初比赛！曝利马续约要19万周薪，拉爵考虑卖掉

ABot不是在机械地堆砌机器人功能，而是在按照生命的进化节奏，孕育一个能自主生长、不断逼近AGI的完整物理智能体。

一座工厂最怕的事：五个老板管一条流水线 那为什么同样买国产卡，有些智算中心依然亏钱，商汤能把利润跑出来？ 答案不在某一张卡，而在整座工厂的控制权。

1、热议男篮最新一期集训名单：赵继伟高诗岩等人领衔 周琦赵睿缺席

否则，它就只是一张价签。

2、广汽卖得更多，为什么亏得也更多？

帖子结尾他还提醒大家额度再过几分钟就恢复了，多去忙自己的正事，别总刷推特了。

3、一声“惊雷”，如何改变世界（字载匠心·惊艳时光的中国智慧）

题目大意是：黑板上写着2026个大于1的正整数。ApexGO把抗生素优化变成一条可闭环推进生成式路线，成功率达85%参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

4、伊朗大鱼落网？内贾德传出被抓，穆杰塔巴清理叛徒，军队封海很快

当最大位姿相似度低于阈值时，系统将当前状态视为探索阶段，丢弃可能误导生成的空间记忆；当相似度达到阈值时，相关历史视角才会被保留下来，作为条件参与后续生成。

5、看了15张Agefield High截图，更好奇这到底是个什么游戏了

这一结果说明，统一评分尺度后，可以在一定程度上减少不同审稿人评分习惯带来的影响，使评审结果更加一致，也更容易保留后续产生较大学术影响力的边缘论文。

6、第3次公开质疑梅西！41岁C罗点赞媒体言论：FIFA内定梅西夺世界杯

体验过的网友，直呼K3堪比Fable 5： 要是把Kimi K3的名字换成 Fable 5，大家就会信它。

但下一张寄到CFO桌上的AI账单，不该再是一笔糊涂账。

随后又追加了三个需求：生成对应的人才流动报告、演示用的PPT、以及具体的人才流动数据。

7、没钱了？西蒙斯重返NBA！主动示好热火队

老搜索有多难用，圈里早有共识。

她给了一个刺痛所有人的数字—— 几年前，设计师60%~70%的时间花在画稿和做原型上，而现在只剩30%~40%。

8、今年中超被激活球员 有申花阿苏埃 北京国安张玉宁 重庆的阿马杜

持续抓握十分钟，表面最高温度不超过人类体温。

缺少真实实验校验、失败数据修正和物理世界反馈纠错，AI 的各类推演结果，本质上是基于文本数据的概率拟合，尚未完全实现对真实科学规律的精准探索与验证。

李述昊的判断走得很远：全球最终会有 1000 亿个智能体，普通人每人 10 个。

而开启这个时代的钥匙——是具备系统提升机器人工作能力的技术体系。