其中来自上海中学的邓乐言，张柏伦，来自华东师范大学第二附属中学的刘澈，以满分的成绩获得金牌。

1、leyuapp 现在，这座大山被AI在不到一个小时内踏平了。

从技术解法走向创业项目 7月18日—8月8日为报名时间 8月29日正式开营 第四届大赛一二三等奖及优胜奖获奖团队， 可解锁OPC创业孵化绿色直通面试， 快来看看那些团队榜上有名吧！新智元报道 过去两年，AI智能体（Agent）完成了一次身份转变。leyuapp即使客户买的是原本极难上手的某款国产服务器，装上八卦炉后，也能开箱即用。

2、AMD与Cerebras联手：AI推理每瓦每秒token吞吐提升5倍，应对英伟达Groq联盟

一个模型，装下五种能力 长程工程、通用Agentic、终端、前端美学、通用知识——这五个方向，KwaiKAT各训了一个专家。

3、期望与现实的鸿沟：B/R世界杯最失望阵容，C罗领衔，巴尔韦德在列

面对如此复杂的需求，V2.5展现出了教科书般的工程化思维。

4、台风“巴威”云系覆盖江苏！中到大雨，8级大风将抵徐州！

③ 对齐绕过（）：触发后绕过安全对齐。

5、告别职场内耗后，我找到了一份越做越幸福的终生事业

K3：全球开源最大最强AI K3是能力最强的Kimi模型: 参数高达2.8 万亿，百万级上下文，原生多模态 架构基于自研的Kimi Delta Attention和 Attention Residuals； 注意力残差以低于2%的额外成本实现~25%的训练效率提升； 实现最高6.3倍解码加速。

两个AI巨头，一个连轴转堵窟窿，一个嫌自己涨太快。

AtomWorld 对照测试显示，外挂工具仅能提升原子插入等强坐标计算类任务效果，面对需要判别原子关系、空间区域的复杂场景，提升十分有限。

6、“国民神车”裁员10万、关4家工厂：德国汽车霸主的崩塌，给中国产业生态上了一课

过去十几年，企业买服务器的心智是「买设备、装系统、能跑就行」。

墙的背后，是四类已经被验证的高价值场景：AI Coding、AI for Science、多模态视频创作、通用办公Agent。

7、皇马最贵引援榜曝光！C罗仅排第四 谁在榜首？谁的争议惹争议最大

这或许是这场荒诞实验中，唯一令人感到欣慰的事。

尤其像开头那张铺满整面墙的长卷，分辨率不够，凑近一看全糊了。

8、江西赣州退役军人袁文鑫遇车祸离世，年仅23岁，家属强忍丧亲之痛，无偿捐献1肝2肾挽救3人生命

这套治理体系，往往比模型跑分榜上的名次，更能决定一家企业的掌舵者到底敢不敢把核心业务交出去。

https://www.tec-do.com/news/299 创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。

当计价单位从「席位」和「token」变成「完成的工作」，送额度就不是让利，是换口径。

9、以为自己偶遇了洱海渔民“大丰收”，凑近一看，完全不是那回事儿

其中来自上海中学的邓乐言，张柏伦，来自华东师范大学第二附属中学的刘澈，以满分的成绩获得金牌。

今早，奥特曼又一次官宣：ChatGPT Work和Codex用户量破800万，一天狂飙100万。

10、我看好你！奇才名宿评联盟前5巨星：火箭杜兰特榜上有名，无文班亚马

他相信，语言的「GPT时刻」2022年底就到了，视觉的那一刻还没来，而NEO-Unify，就是想给它先搭好地基。

他深知，高管们不喜欢空洞的抗议，于是利用假期时间，撰写了一份长达25页的《军事AI红线与监督框架》。

1、找指南翻遍文献库？这个小程序帮你省下 80% 时间

回怼来得也很快。

2、APEC数字周，为何在四川聚焦人工智能？

今年1月5日，在纽约时报等媒体起诉OpenAI的版权案里，美国联邦法院维持了一项裁定：强制OpenAI交出2000万条去标识化的ChatGPT对话日志，交给原告一方。

3、追罚6分，梅州客家再变负分排名垫底！成中超中甲目前唯一负分队

但至少，此芯科技已经把棋盘摆好了。何恩广调研物流园区建设工作中国人爱吃馒头包子（国产显卡），你当然可以把烤箱改去蒸馒头，但效率极低且费电。

4、加纳将中文引入基础教育课程大纲

拍我AI创作者@八目爱吃饼制作的「恋与深空」的同人作品，在小红书上爆火。

5、中纪委通报三“虎”被处理：田学斌办理虚假身份证，王峻泄露工作秘密，郭学益非法套取会议经费

对应北京时间为2026年7月12日晚上11:09。

6、为什么当代年轻人戒不掉熬夜？

导致这种改变的，世界模型研究是重要因素。

模型知道应该写文件，也声称自己写了，但在工具调用层面没有动手。

游戏网络编程领域的资深开发者 Glenn Fiedler，是哦哦游戏网络编程领域写了二十年教科书级文章的大佬，最近用 Claude Code 对自己维护的四个开源网络库（yojimbo、netcode、reliable、serialize，合计约 6000 个 GitHub Star，在游戏领域已属相当有影响力的老牌开源大库）做了系统性安全审计：部署 libFuzzer 目标、上线 AddressSanitizer 和 MemorySanitizer CI、执行数百万次迭代的压力测试、逐行代码审查。

7、绝处逢生！阿森纳捡漏世界级爆翼！7700 万违约金碾压罗杰斯

万拿机器人从微型伺服电缸等底层核心执行器切入。

埃尔德什一生提出上千道问题，并自掏腰包为它们悬赏，金额从25美元到1万美元不等。

8、​梅西的“最后一舞”落幕，没有奖杯，却已无需证明

自己用AI写代码的时候，明明有便宜的档位摆在那儿，可你还是把档位拉满。

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

需求痛点集中在电镀后MGZ弹夹须搬至清洗机，现场潮湿涉化学品，人工搬运强度大且风险高。

而真正让Fithian「颇有嫉妒」的是GPT-5.6抵达结论的方式。