据Boris说，公司里几乎没有手写代码这回事了，连SQL都是模型写的。

1、天博官方 完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。天博官方模型侧腹背受敌的谷歌，突然把更多筹码推向了自己最深的那条护城河——芯片。

2、湘潭市住房公积金结息首超2亿元

半导体光刻机、高端外骨骼动力裤、顶级人形机器人以及超级跑车（轮毂电机），共同构筑了小象电动的高维护城河。

3、2026年6月心理学课程合集

学生碰不到Claude 讲了半天老师，那学生呢？ 理论上，学生是最终受益的一方。

4、米体：布冯拒绝回归意大利国家队

发布会上，SenseNova U1 Pro的官方定位是——面向复杂多模态任务的交付系统。

5、11级大风、大暴雨！最强影响时段来了

发布之后，她自己下场推PR、催增长，把它从一个内部原型推成了Anthropic最激进的那一步落子—— 把Claude从「聊天框」，推成「工作台」。

比如，现场中一只机械臂在杂乱料框里高速翻找，每抓一个五角螺母不到2.4秒。

但那个方案被搁置了——一旦权重烧死，芯片就只能服务某个特定版本的Gemini，模型一更新，芯片就报废，生命周期短得离谱。

6、快乐8横版丨7月25开奖号码表

它不再一口气把图吐完，而是把创作拆成一套动作空间：生成、编辑、局部重绘、组合。

针对智能体AI的专项测试，可以排查模型是否试图绕过安全护栏、是否露出欺骗的苗头，并确保各项最佳实践落地。

7、瑞士最后20分钟“大开杀戒”，波黑原形毕露，扎卡点球击碎质疑！

发布会尾声，此芯科技与中电信数智、光弘通信、天通精电等十余家合作伙伴集体签约，覆盖AGX方案、扩展算力与科学智能体等多个方向。

在H3-E418展位，一家来自深圳的企业——深圳小象电动科技有限公司，正带着被称为机器人与新能源汽车「心脏」的硬核黑科技，向世界宣告中国底层动力技术的全面崛起。

8、省政府新闻办举行夏季重点传染病预防与公共卫生安全科普新闻发布会 我省发布夏季四类重点传染病风险提示

轨迹对齐层：不学人的节奏，只学任务的规律 机器人的训练数据来自人类遥操作。

为此，无问芯穹推出了 “AI生产力商店”——Agentic Infra行业解决方案，以底层智能基础设施之力，助力行业客户打通降本增效的“最后一公里”。

采用NEO-unify架构后，商汤在今年4月率先发布了SenseNova U1一个轻量级的开源模型，并且在5-7月升级多个基于U1的infographic-V1、V2和V3版本。

9、皇马中卫米利唐谈皇马中卫引援：期待在穆帅执教下，训练和共事

官方随手举了几个例子：PR走查、系统说明页、能筛选能排序的Dashboard、会自己勾选的发布检查清单。

物理AI的「开悟时刻」，从来不是完成一次惊艳的演示。

10、被拒绝时我以为写到了结局，后来才发现那才是故事真正的开篇

生成过程中，没有专门的调度器指挥，模型所做的就是一路往下预测下一个token——写着写着，它自己判断「该出图了」，就切进图像token接着画，画完再切回文字。

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

1、厂BA泼水嘉年华火爆开启！

这三层架构决定了ABot的每一次迭代，都不是孤立地点亮某个新技能，而是像生物进化一样，随着任务和部署的增多进行整体演进。

2、Macworld：iPhone 18 Pro起售价或达1299美元，现在买17 Pro更划算

历史上这样的时刻并不陌生：1980年代真正的赢家不是某一台PC，而是让所有PC通用的操作系统；1990年代不是某一个浏览器，而是让所有机器互联的TCP/IP；2010年代不是某一块芯片，而是让所有算力能被调用的CUDA。

3、Temu被罚2亿欧元深度复盘：欧盟DSA为何成为所有跨境出海平台绕不开的生死线

从工程角度看，这项工作也强调了算法稀疏与实际系统加速之间的差距。本届世界杯太有意思，梅西竟然给亚马尔搓过澡，这是宿命之战吗？智能体不只是被动响应，还能主动观察消费周期——T 恤买了 5 个月该换了，洗衣粉用完了该补了——你不用开口它就推荐。

4、英媒：尽管外界有离队传闻，但切尔西暂时不想卖掉内托

AI时代，这笔交易要重新谈了。

5、早筛早防慢阻肺 闭环服务保健康——芝罘区开展慢阻肺专项筛查惠民活动

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

6、上新

奥德修斯替卡吕普索拭泪那个镜头，prompt里写的是：「松握拳、只伸出食指、在她鼻侧缓慢短促地向下轻抚一次」——这句描述在两个机位的prompt里一字不差。

而这些动作，大半都发生在7月这半个月里。

年初先出手的是Anthropic。

7、700余名羽毛球爱好者在延庆挥拍竞技——

本质上，工具只能输出精确坐标，却无法替代模型做 「原子该放哪」、「哪些属于目标区域」 这类核心决策；模型本身若缺乏三维空间感知，工具只会把错误意图执行得更精准，最终得到 「建模逻辑错误」 的结果。

旁边放着仅重300克的数采头环KAI Halo Lite，随手戴上，就能在手机屏幕里看到精准的实时三维重构画面。

8、台风“巴威”登陆，地出现“台风霞”？专家：粉紫色天空预示台风在靠近

在一个人人都把数据当护城河的行业里，这本身就是一种姿态。

然而，他很快发现，这只是冰山一角。

从这个意义上说，纳德拉和Karp的最新叙事确实印证了佟博士的基本判断。

温暖vs严谨：让你感觉好，还是让你答案对。