Coding的下半场，拼的是「工程」 KAT-Coder-Pro V2.5背后是一个清醒的判断： 眼下限制编程模型变强的，已经从「模型多大」转向「周边基建够不够扎实」。

1、bob电子 写清什么情况下它该停下来问你，而不是闷头往下干。

MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。bob电子但检索，并不等于记忆。

2、两融“强平潮”来袭？一线调查来了，最新数据揭示三大真相！

都以为学校会被AI逼着改头换面。

3、茶饮集体卖冰淇淋：一场关于“时间”的暗战

硬币的另一面，是社区里挥之不去的疑虑。

4、2800万人签名请愿！要求将阿根廷逐出世界杯 或创吉尼斯世界纪录

起初是怀疑，然后是试探，然后是某个临界点之后的全面爆发。

5、华尔街见闻早餐FM-Radio

中国市场 iPhone 销量连续承压，库克此前在财报电话会上承认，Apple 智能的缺席是竞争力下滑的原因之一。

高矮胖瘦完全不同的机械躯壳，跑着同一套SMASH算法，照样能在球桌上大杀四方。

Claude Opus 4.5被部署在一个模拟的Anthropic内部团队里，发现一份安全评估结果可能被对外误报了。

6、三分球7中6！中国逆转！追平近十年最好成绩

真正的看点是那条被反复验证的老路径：把Opus级的能力，价格压到七分之一。

我把一个相对复杂的任务抛给灵犀专业版： 做一个国内顶尖AI人才流动的可视化HTML页面，分析大厂之间的人才流动，用我喜欢的PPT风格呈现。

7、汽车级AI跨界两轮车，如何给几亿人的出行生活“加料”？

技术再漂亮，不赚钱就是玩具。

为什么光刻机需要薄饼电机？因为在纳米级的半导体制造过程中，晶圆台的运动控制需要达到令人发指的精准度、极高的动态响应速度，同时设备内部的空间极其受限，对热管理的要求近乎变态。

8、周生生发布「游启新岁」新春主题，重构新年仪式感

信息安全机构Veracode发现：过去两年，模型的语法正确率从约50%提升到95%以上，但安全通过率始终徘徊在45%～55% 去年年末，GitLab调查了3266名DevSecOps从业者，73%遇到过Vibe Coding代码带来的问题；76%表示更多合规问题是在部署后，而不是开发过程中发现。

参考资料： https://x.com/thsottiaux/status/2077114635308986427?s=20 https://x.com/sama/status/2077036999303999910?s=20 编辑：摩西新智元报道 你半夜失眠问Claude该不该辞职，它体贴得像个认识了十年的老朋友。

Genesis押注人手数据手套，从全世界的日常家务里抠经验，号称仿真快1000倍。

9、2026参博会

这也是这次发布被卡着审查的原因之一。

企业真正的Alpha，往往也正存在于这些Skill中。

10、泽连斯基任命乌武装部队总参谋长

海风很大，铆钉锈迹斑斑，远处有人在笑着说话。

它知道菜谱的重点就是食材和做法，所以果断去掉了花里胡哨的背景，让人一眼就能抓住关键信息。

1、一人一城！MVP吴前老将合同续约浙江男篮 宁波吉林抢人失败

开发者们信了。

2、关注丨追踪：饮水机公示混乱 两区疾控紧急整改

然而，到了今早，彭博社记者的一篇报道，让人瞬间失望。

3、132㎡，轻奢度假宅，治愈假期！

他说这些题在网站上标着open，只意味着他本人不知道有哪篇论文解决过它。当永续合约被指“不适合机构”，CME业绩为何反而创下次高？但AI不会气馁。

4、2026 西安高考全日制集训攻略 高三升学备考补习学校口碑盘点

他花费数年时间构建的理论大厦，突然发现地基是豆腐渣工程。

5、2026年广东高考数学平均分40分？当地辟谣

参考资料： https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flash-lite-3-5-flash-cyber/?utm_source=tw&utm_medium=social&utm_campaign=og 编辑：桃子新智元报道 五千名工程师，四个月，把Uber一整年的AI预算烧成了灰。

6、最新

5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。

模型训完了，真正烧钱的是接下来7×24小时永不停歇的推理账单。

为此，磐石团队基于S1-Omni，进一步打造了科研智能平台ScienceOne，将模型的理解、预测与生成能力无缝嵌入科研的全生命周期。

7、健康

如果AI真要成为企业的基础设施，厂商就得给出比模型名称更具体的边界，让用户明白自己花钱买的那个Max，到底保证了什么。

首先是布置。

8、乌拉圭出局余波：托雷拉炮轰贝尔萨，弗兰称穆斯莱拉赛前高烧40度

它其实是在提前回答一个更大的问题： 当AI真正进入大规模生产时代，下一代「工厂」究竟应该长什么样？ 编辑：所罗门新智元报道 【新智元导读】618 期间，灵巧手进了某品牌真实仓库，分拣盒子与快递软包。

第67届国际数学奥林匹克正式落幕，中国队以232分斩获桂冠。

蛋糕在变大，但能分蛋糕的人在变少。

智能体会陷入一种「看似有进展、实则原地打转」的死循环：反复去改同一个文件，却始终跑不出一个新的通过测试。