最早是Copilot，帮专业开发者补全代码，全球也就2000万程序员用得上；接着是Vibe Coding，用自然语言表达需求，人群一下子就拓宽了。

1、大圣体育 这座AGX之城，才刚刚破土动工。

S0 是整个人形大脑系统立足其上的地基——用张巍的话说，「没有小脑，是长不出大脑的」。大圣体育他的解释是：教堂的地基太庞大了，庞大到把那点正在快速生长的流动智力完全盖住。

2、曝90后女星要嫁60后老头？男方为了她抛妻弃子，承诺捧她当顶流

一方面，一级市场热钱持续涌入，单笔融资金额屡创新高。

3、任正非露面，华为放大招，科技股嗨了！

你写的每一行 from_pretrained，你跑的每一个数据集，大概率都是从这儿拉下来的。

4、新地标！首尔气候适应大厦，为什么要“悬空”？

不用它们，你是在花2倍的价钱买一个聊天机器人；用上它们，你买到的是一个自主干活的员工。

5、陈平原：校史不能只有“老北大”

而佟博士的企业认知系统（NSEAP ECS）和认知主权观点，从一开始关注的就不仅是防止数据泄露，也不仅是部署一个企业内部模型。

用了三个月，它对你的了解跟第一天完全一样。

写作工具、翻译、视觉识别，每项都能用，每项都和调用云端大模型的竞品有可感知的差距。

6、不卷模型卷大脑系统！国内首次，机器人一镜到底全自主干完家务

什么是雅可比猜想？一个「理所当然」的陷阱 让我们先把时间拨回1939年。

数学家Lichtman惊呼，希望能看到顶尖代数学家对GPT提出的新猜想作何反应。

7、曝浙江北控完成交易！昔日国字号前锋换队，CBA又有一支争冠球队

防御窗口收窄 防御工具也在加速 AISI 在报告中明确了政策信号：防御方的准备时间比去年更短。

社区用户ns123abc用一段被称作「模型指纹」的隐藏提示词，读到了系统配置里那个数值：juice。

8、多地广电涌入马拉松，究竟是谁的出路

一句「帮我建个项目追踪表」，它就交出一张18个项目、29个待办事项的甘特图：这不是聊天，是交活。

你手里还握着总开关：可以随时关掉记忆采集，可以选纯本地模式让数据不出设备，也可以联网。

首先是「工业皇冠上的明珠」——半导体制造设备。

9、曝《寂静岭》编剧每年读100本书！少了不配做游戏

1957年，埃尔德什在一篇论文里问出了这道题，一口气问了三问，问的是单位圆上零点多项式的模。

顺着新价值链，企业真正要算的是三本账。

10、小红书，又摊上事了……

这种辅助决策式的购物体验，会远大于货架式的搜索体验。

参考资料： https://x.com/maxforai/status/2078767321603342656?s=46&t=kUmE9xDZxjY1kLbL84hhYQ 编辑：Aeneas新智元报道 一名顶尖实验室的材料研究员，最无力的瞬间，从来不是想不出创新思路，而是 AI 一天推演上百种新配方，人工实验一年测不完； 最可惜的损耗，不是实验本身的失败，而是随着项目结束、人员更迭导致数据、经验、参数未能有效存留，让下次的研究需要重复起步、反复试错。

1、关注

晓途：一脑多形，7×24小时在岗 它依托通用智能大脑（Agentic AI），同一个脑子能适配多种形态的四足机器人本体，室内外无缝衔接、动静态避障、多机协同调度，全程无需人工干预。

2、68岁赵本山在三亚逛街，穿蓝衬衫好时尚，买爱马仕司机拎袋子

整个过程里，规则从不靠手工打补丁： 评审员每揪出一个错，就往规则手册里加一句话，再把受影响的那批文件重新生成一遍。

3、此地无银三百两！京媒强行洗白争议裁判，中超幕后疑云彻底引爆

顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。施南生密友：17岁成名，19岁生子弃子，现居温哥华这一方法直接点亮了现代高通量科学。

4、突然！10倍大牛股，跌停！存储概念股，集体下跌！发生了什么？

比如，Anthropic推出AI科研工作台Claude Science，将科研拆成可逐步审计的流水线，实现综述写作、基因分析等特定环节效率提升10倍；Google DeepMind的GNoME用图神经网络预测无机晶体稳定性、以「生成候选→DFT 验证→数据回流」的闭环产出约 220 万个结构。

5、汤唯宣布二胎孩子出生，晒出一家四口牵手照

原因很简单：在所有已被验证的高价值场景里，编程跑得最快。

6、登贝莱帽子戏法：说好的姆巴佩大战哈兰德呢

这是他在播客里的口头描述，更接近事实的理解是：极少数核心研究员或工程负责人，总薪酬、股权和签约激励加总，可能达到这个量级。

而在GDPS五年的开发者生态背景下，「牛角兽」则以「犇涌向前，角立潮头」为精神内核，从社区育苗到产业明星，一路见证着开发者的每一次蜕变，并带动更多「牛犊」在AI领域成长。

产业不会为聪明买单，只会为稳定的聪明买单。

7、超燃！两天连唱！中卫这场群众合唱盛宴太震撼

如今这个问题居然被AI解决了，实在是难以置信。

就在几周前，Cursor的母公司Anysphere，刚被SpaceXAI全股票收购。

8、萨卡帽子戏法助英格兰力克法国夺世界杯季军

一觉醒来，GPT-5.6 Sol变笨了！ 一个日本的市场调研团队，早上开工没多久，就发现手里的Codex Sol MAX不太对劲，领队把这一上午的遭遇写成一个长帖，扔到了Reddit的r/codex上。

PolicyTrim引入step-saving reward：成功轨迹用越少步骤完成任务，奖励越高。

过去二十多年，你把数据、隐私和流量让渡出去，换回免费的互联网内容和服务。

差距从哪来？ ICL是「应试型」学习，靠上下文与训练数据的表面相似，而现实世界，简单的上下文关联根本无法承载时空的物理因果，环境一变就露馅。