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

1、leyuapp 毕竟谁也不想等海报贴满了大街，才猛然发现角落里还躺着一个错字。

一个观众随手在点餐台下了单。leyuapp商汤已经签约国星宇航，计划今年四季度发射4颗「商汤号」系列算力卫星，完成首发并组网；2028年目标建成星地混合云商用骨干网；到2030年建成千颗级天地一体化AI算力星座。

2、健康日历

如今，爱诗的定位更像一家AI原生的全球产品公司——模型能力、产品体验和商业化能力三条腿走路，且从第一天就在做全球化。

3、工信部突击检查2家新能源车企：广汽埃安与小鹏被随机抽检，智能驾驶安全成焦点

KAI Embodied AI Infra平台把全链路拉入自动化，数据生产提速10倍，模型评测加速7倍。

4、官方公布黄总事件真相，一切竟然都是误会，双方已经和解

用徐立的话说：不需要你有更多的编辑、理解和生成能力，只要把意图充分表达，AI就可以给到你可交付的内容。

5、泰山做客工体再遭红牌，郑铮被罚下引发争议，国安赢球胜之不武

没人想到的是，它其实是一份提前三个月写好的入职宣言。

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

他们系统化清洗原始数据，剔除仿真器早期产生的异常轨迹、错误动作等脏数据，保障训练数据质量。

6、查尔斯-李：里德无论在场上还是场下都将产生深远影响

星火燎原，薪火相传。

回访阶段相对L1距离整体低于探索阶段，为只在回访状态下启用去噪复用提供依据。

7、湖北发展6G，有五大优势

这些公司的模型能力在持续提升，模型越强，能接的任务就越多，推理调用量自然跟着指数级增长。

能用，但客户不买单。

8、3年赚46亿，杨幂喊出一个安徽富豪

在这段时间里，特纳飞往巴黎，参加了国际安全与伦理AI协会的大会。

报道称，大量研究人员因为对谷歌的落后感到失望，纷纷跳槽到了Anthropic和OpenAI。

地址：https://github.com/Shadow-Weave/HMS HMS的五个动词「read/write/handoff/rollback/verify」定义了这个协议的基本接口。

9、发热骨痛2个月，颈椎被“啃”出一个洞！病根竟然在厨房？

它让S1-Omni学到的，不只是科学数据的表面模式，更是「如何在具体任务中基于专家知识去推理」。

3、在扫描层级下，确认静态检查（L1）、轻量级扫描（L2）和深度扫描（L3）的开关已开启。

10、山东拟立法规定：电子烟等新烟草制品参照传统卷烟监管

而DM0.5，只是这个故事的开始。

举个例子。

1、突发！一国5.3万名护士罢工，围堵多家医院

15小时，长程稳定作业 最后的关键一步，是时长。

2、从冠军卧底到淘汰赛狠人，劳塔罗用四年世界与自己和解了

联创谢旭璋在峰会的分享中提到一句话，非常动人：「AI for Good最朴素的含义，是让那些过去被创作门槛挡在门外的人，第一次拿到创造的工具。

3、哈马斯，交权投降了？

这就是我们要的：不止是能交付的成品，关键是办公体验要好。萨利巴背伤加重或接受手术，阿森纳面临球员长期缺阵考验而开启这个时代的钥匙——是具备系统提升机器人工作能力的技术体系。

4、天亮了！国安做出重要决定，补报斯帕伊奇，顶替蒙哥马利嫡系名额

官方宣传页上白纸黑字写着「local-first」——本地优先，你的代码留在你自己电脑上。

5、谁能跟切尔西比转会？抢下帕莱斯特拉后，蓝军又将买下2后卫1中场

资金规模必须可观，且很可能主要来自产业界，如此才能吸引世界级的技术人才，并为大规模测试提供必需的算力资源。

6、44亿亏损叩门科创板，资本却豪掷60亿：燧原科技这场"时间换空间"，赌的是腾讯不改主意

报告发出后，上传行为悄悄停了——不用更新软件，服务器那头直接掐断。

投融资平台覆盖天使轮到IPO全周期——赛场上跑出的作业数据、通关时间、故障率曲线，就是投资人眼中扎实的尽调报告。

参考资料： 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编程圈干了一件狠事。

7、3支球队，7起申诉，判罚全部正确！拒收礼裁判反复经受住双重考验

SafeClawArena要解决的正是这两点，它索性不搭脚手架，直接把生产平台本体作为测试台。

实测显示，首Token延迟（TTFT）直接降低了51.5%，单Token成本再降37.5%。

8、记者丨已有英格兰和德国球队求购邦多

眼下一个尴尬的现实是，AI找漏洞的速度，已经快过了现有系统修漏洞的速度。

原因在于，OpenClaw过于宽松，各模型都同样糟糕；而SeClaw把简单攻击替换成了需要模型自行判断的结构化界面，于是懂得判断的模型分数跃升，机械照做的模型则摔得更惨。

小体积、大推力、高精度及一体化闭环控制，为灵巧手在有限空间内实现稳定驱动提供了基础。

物理AI，已经临近 圆桌结束了，但争论远未停止。