三步完成征集报名： ① 扫码提交业务痛点 ② 与GDPS组委会联合设计赛题 ③ 9—10月战队进厂实训 同步征集：选手百万奖金池+产业资本对接；专家评委会姚期智院士领衔；赞助商开放。

1、kk体育 埃尔德什的100美元悬赏 AI领走了 先把这道题的来龙去脉捋清楚。

AI虽然未能完美预测出绿茵场上的终极比分，但这恰恰证明了现实世界的不可预知与巨大魅力。kk体育大厂vs创业公司：谁会赢？ 「大厂的问题大家都很清楚。

2、82岁的徐湖平，打破一个纪录！

如果Opus 5真能拿出接近Fable的能力、却只要Opus的价钱，那些被/一巴掌拍退的开发者，等于被重新请回了牌桌。

3、莫雷托丨阿莫林推迟批准埃斯图皮尼安转会维拉

实验与分析 模型与设定：主实验在LLaDA-8B-Instruct与Dream-Instruct-7B两个主流开源DLM上进行。

4、境外高增长依赖“一次性”项目，关联交易低价连遭三问，德耐尔闯关北交所胜算几何？

这回，Anthropic将目光盯准了K-12老师的整条工作流。

5、中国海警局公布菲多艘船只侵闯中国黄岩岛管辖海域现场画面

「模型路由」要做的，就是让每个任务都匹配到「刚刚好」的模型—— 简单任务走性价比，复杂任务上高性能，在效果和成本之间找到最优解。

其实，马斯克和诺兰的《奥德赛》积怨已久。

这是LLM第一次，把IQ推过了130这道坎。

6、营养师私藏的7件健康年礼，送到亲友心坎里！（非广

然而，命运开了一个残酷的玩笑。

但目前，主要还是通过Kimi AI平台提供API访问，完整权重发布仍待官方进一步确认。

7、凌晨3点她烤曲奇想彻底翻身，烤箱还没热，心里那个嘲笑声已上班了

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

大佬表示，按谷歌常规的6个月训练节奏，说不定年底，就能看到Gemini 4了。

8、拉什福德4000万解约条款过期，未来再添变数

丰田、BBA们现在按兵不动，不代表没有在暗中磨刀。

三层全部嵌在同一个写码会话里。

合并之前，Bun现有的全部测试用例，在CI里100%通过。

9、成都“小牛哥”，亮相国新办中外记者见面会！

Sol一次修好，还顺手让别的模型也跑通了。

泄露没有消失，只是换了通道。

10、衣柜里要有一条蓝色系半身裙，不撞款的日常造型，轻松get

他每天提交几十个PR，有一天冲到150个，创了个人纪录。

清程极智的核心团队孵化自清华大学计算机系高性能所，多年来一直负责国家级超算中心、智算中心的AI性能评测与验收。

1、机票真的比高铁票便宜吗？其实很多暑运低价背后的真实账单并不低

深度思考：新增的「Deep Think」模式，让其在数学、编程、逻辑推理上达到了前所未有的高度。

2、春秋航空就机票超售问题致歉：诚恳接受批评，全面整改，杜绝类似情况再次发生

2、从侧边栏中选择「安全」（Security）。

3、特朗普：拿伊朗资金赔

未来，HMS将持久记忆融入感知、推理、控制与具身行动。那个让你自惭形秽的人，其实是来渡你的手速快的开发者，截了图。

4、好特别的白色造型，太高级了

上周二，7月14日，谷歌DeepMind CEO、诺奖得主Demis Hassabis发布了一篇长文，题为《前沿AI框架与新纪元的破晓》（A Framework for Frontier AI and the Dawning of a New Age）。

5、最后一舞！39梅西世界杯卫冕失败 3进决赛1冠2亚

从此它自我更新，你提过一次新客户，下次会话它已经知道。

6、肃清“太子党”，图赫尔选人标准不够清晰！马奎尔落选有迹可循

这也不是AI孤立的毛病。

产业不会为聪明买单，只会为稳定的聪明买单。

其次，是直击全球高端购买力的高端消费电子与可穿戴设备。

7、距离预产期仅两天时，收到裁员通知

听上去简单，切片、上传、拼回去。

解决一个50年历史的难题，原本可能需要一整天的时间，现在被压缩到了区区一个小时。

8、德百集团助力西藏优质饮用水德朗玛“流”向全国

初期，前沿实验室将在模型发布前最多提前30天，自愿把模型交给标准机构评审。

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

Claude Code团队发文，正式定义「循环」，并拆出回合制、目标、时间、主动四种典型循环。

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。