用能跑通的极简提示、最少工具直接开跑，缺了再补。

1、博富体育 参考资料： https://x.com/BrianRoemmele/status/2078840929088340408?s=20 https://huggingface.co/blog/security-incident-july-2026 编辑：桃子新智元报道 祝贺中国队！ 在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！ 中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。

Karp认为，当前大模型产业存在两个严重问题。博富体育而程序员，正在从写内容的人，变成设计系统的人。

2、当初买房，我力排众议买了二楼，我妈差点拿扫帚把我打出门！

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

3、49场造75球！梅西第9座金球奖稳了？亚马尔世界杯夺冠也恐无缘

这意味着系统不只是「能走对」，而是「能在走偏后恢复正确路径」。

4、官宣！压哨裁掉！NBA生涯就此结束

」 他坚持认为，VLA与世界模型并不冲突。

5、半年经济微观察｜千里山海，藏着文旅消费的“留量”密码

一个提示词，15分钟，Kimi K3为AI操作系统构建了macOS风格的界面。

那只拥有37个自由度的灵巧手KAI Hand，也在被厚木板猛砸。

魔幻的是，这一切偏偏发生在Token单价一路下跌的2026年。

6、从3-0碾压到4-3惊魂！泰山赢了比分输了场面，慢一拍换人险酿大祸

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

OpenAI搬出用户隐私来抗辩，法院没接受，其中一条关键理由是：这些对话，是用户「自愿提交」给OpenAI的。

7、上海七浦路复古雨伞铺爆火！超多绝版孤款！均价三四十！商场同款竟卖1280元？

这才是整场地震真正的震中。

」 体系更闭环 大赛首设并启动OPC创业孵化营 为推动世界科学智能大赛汇聚的人才与成果持续成长，上智院、祖泉研究院、上海未来产业基金、上海未来启点社区联合发起「世界科学智能大赛OPC创业孵化营」。

8、格科微(688728.SH)：高像素图像传感器产品获国际知名手机品牌客户订单

姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。

一起来看看，在内部测试中，具体发生了什么？ GPT-6花了整整一小时 找到了那扇「逃生门」 最经典的一幕—— OpenAI让GPT-6去跑公开基准测试NanoGPT speedrun，目标是用尽量少的步数训练出一个小语言模型。

HMS-base（不带自进化控制器）的准确率是92.4%，加上自进化控制器后达到92.8%。

9、粉丝狂涨超千万，世界杯爆红球星能将流量变现吗？

而到了2025年2月，Demis亲自参与修改了谷歌的AI原则，悄悄删除了这个条款。

注：模型1是GPT-5.5，模型2是磐石，模型3是Claude Science 再看看排在后面的GPT-5.5，虽然图表画得花里胡哨，但一句「噪声后子系统熵保持为1」，直接暴露了它连局域噪声和全局噪声都没分清的理论硬伤。

10、运气爆棚！西班牙靠对手门将送礼晋级，实力烂到骨子里！

」 「中国似乎正在以肉眼可见的速度，迅速抹去美国在先进AI领域的领先优势。

但这，也就是Jeff Dean做的全部了。

1、《这龙带刀》Steam特别好评 恶搞很成功动作差点意思

算力的新货币，叫Token 今天上午，此芯科技创始人、CEO孙文剑登台，开口就扔出了一个判断： 我们正站在一个从「生成内容」到「完成工作」的范式跃迁的起点，而此芯科技，将是这场变革的核心驱动力。

2、终于等到了！广东队有望签下广州外教米切尔，徐昕回归成定局？

换句话说，六个仓库里能成功搭起来一个，就算不错了。

3、8.9米！1360000块乐高积木搭成世界杯，头部很有趣

剩下的它替你跑：从ScienceHub一键调用专用科研skill（这里是Qiskit），把电路搭建 → 噪声仿真 → 数据核算 → 理论推导 → 多类型绘图 → 交互式HTML报告串成一条全链路自动输出。泰山战云南前瞻：伤病潮彻底击穿阵容底线，青年军迎来绝境大考_网易订阅这些环境里的变更类型，涵盖了缺陷修复、功能补齐、接口兼容、跨模块联动与回归修复，几乎复刻了真实开发中会遇到的各种场景。

4、信用卡的AI博弈：今天争用户，明天抢入口

这形成了一个可怕的闭环：官僚导致效率低下 -> 效率低下导致产品落后 -> 产品落后导致人才流失 -> 人才流失加剧技术落后。

5、德林控股(01709.HK)7月24日耗资47万港元回购50万股

小组赛阶段，当商汤小浣熊押「佛得角」能挺进32强时，没人当真。

6、中国篮协又出大昏招了？郭士强学宫鲁鸣玩长集训：胡金秋被坑惨了

整个公司，找不出几行还是人敲出来的代码。

参考资料： https://x.com/davidpattersonx/status/2077049232490672458 https://trackingai.org/ 编辑：桃子新智元报道 全尺寸人形机器人长程移动操作能力迎来重大突破！ 逐际动力发布了一次全球屈指可数的完整实录：无遥操，无剪辑，一镜到底，全尺寸人形机器人 Oli，不间断干完一屋子家务。

AI一来，改变了这个前提。

7、美国启动车门安全新规制定程序，矛头直指特斯拉电动门设计

多出来的用量，正是从这里冒出来的。

再拿一次小规模「试航」压测规则，把要命的问题在铺开到上千个文件之前就揪出来。

8、女篮之光！李沅珊30分罚球绝杀斯洛文尼亚 场均21.5分世青赛得分王

Loop能自己跑而不自嗨，靠的是一套「目标驱动」机制，在Claude Code里对应/goal命令。

Fable正确完成并生成PDF证明。

他推崇的理念是「AI defines hardware」，即AI定义硬件，首先由算法团队牵头分析性能需求：想要覆盖人类日常80%的任务，究竟需要多少自由度、多大的运动范围、多快的动态响应？ 硬件团队拿到需求清单，据此进行关节设计和仿真验证。

举个例子，一个「平台管家」智能体如今成了整个基础设施智能体蜂群的统一入口。