M = 6。

1、高比体育 最近一个非常有意思的行业现象是：大量的海外开发者，也开始嫌弃OpenAI、Anthropic的模型API太贵了。

他是Beck-Fiala定理的提出者，1985年Fulkerson奖得主，1986年国际数学家大会受邀报告人，差异理论的奠基者之一。高比体育如今多模态被U1 Pro拽进第三段，人群一旦重构，两块基石随之动摇。

2、特朗普希望因凡蒂诺接任联合国秘书长，认为其受到全世界尊重

但在这片热闹里，有一家公司做的事有点「反常」——它不造机器人。

3、从明城墙到大报恩寺，南京在世界遗产大会讲述“我们的墙景”

从量化指标来看，衡量评审分歧的核心偏差跨度指标逐年上涨，2023年整体偏差相对可控，2024年小幅恶化，到2025年打分离散程度显著提升，极端不合理打分的占比持续走高。

4、多名球星遭网暴,WNBA与工会联合发话:加强安全资源打击骚扰

再算上独立交卷的AxiomProver，整整四方势力全部登顶满分。

5、筑牢暑期安全防线 榆中消防大队开展校外培训机构消防安全检查

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

五角大楼的「霸王条款」 Turner的愤怒，源于真实的事件。

而这一次，变了。

6、冠军再+1！泸州斩获省十五运会足球乙组（U15组）男子组冠军

领略完KAT-Coder-Pro V2.5的真实战力，是时候扒一扒它背后的工程实现了。

不公开、防泄题，专门用来堵住「模型提前背过答案」的漏洞。

7、费迪南德：就算梅西再次捧起世界杯，C罗依旧是他心中历史第一人

2.8万亿参数，100万token超长上下文，原生支持视觉与多模态理解，都还只是开胃菜。

并且，主动降级：从总监，回到一线IC。

8、34岁卡塞米罗登陆美职联 签约至2029年与梅西成队友

某个API调了多少次，扣了多少钱，账单上写得清清楚楚。

「氛围编程」（Vibe Coding），虽然提升了编码的效率，但与此同时也开始暴露新的安全隐患和风险。

而这次，面对一个AI辅助生成的快穿乙游demo，评论区没有一边倒地喊AI味太重，反倒是一致高呼「下一个世界线什么时候更新」。

9、转会窗：弗拉霍维奇确定和尤文分手，尤文国米竞争帕莱斯特拉

这个标签的神奇之处在于：在图的任意一个路口（顶点），流出和流入的向量之和必定为零。

这四个字，值得掰开讲。

10、全省萌娃集结酒城！这场幼儿体育展示大会在泸州圆满举办

两个人手里攥着同一份商业计划书，跑去问Claude这事到底靠不靠谱。

所有纹理必须用Canvas程序生成16×16像素图——不许用一张外部贴图。

1、韩国伊朗出局！惨淡：亚洲仅2队晋级，北美3队+南美5队+非洲9队

关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 这是国内手机端侧 AI 领域规模最大的一次集体过审。

2、挨饿能赢50万？“荒野求生”是风口还是风险

真正教会模型探索、纠错、验证的，是大规模RL。

3、ESPN记者：皇马为琼阿梅尼标价9000万欧，今夏或出售他；邮报：曼联未来数月可能会和B费进行新合同谈判

一次会话，左边在跑，右边的可交互页面同步成形。最高人民法院院长张军，最新署名文章先看前端生成。

4、玛莎拉蒂电跑也挤牙膏？2027款官图仅微调藏玄机

朱红色的丝带贯穿山谷，与山脚下极小的白衣人物形成鲜明对比，那种「寄蜉蝣于天地」的宏大尺度感扑面而来。

5、阿马德谈绝杀厄瓜多尔

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

6、Jake Paul炮轰NFL“超级平庸”：已有球队联系我，我更快更强

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

换句话说，模型本身并不是壁垒。

当无数模型、Agent、机器人接入同一个记忆层，一个个体踩过的坑，就是整个群体的本能：个体怎样从记忆长出智能，群体就怎样长出更大的智能，像一棵树，每根枝桠都按整棵树的方式生长。

7、20×10英寸前轮、21×13英寸后轮：科尔维特Z06碳纤维轮毂无底价竞拍

显然，AI视频，正在成为继AI编程之后，最接近大规模商业验证的黄金赛道。

可以在开放环境下零样本指令跟随，并且抗各类人物穿梭干扰，同时可以在无网/弱网环境（电梯/停车场）下流畅跟随。

8、23岁左投对阵37岁右投，运动家今日力争系列赛胜利

磐石ScienceOne今天正式上线，感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天？Claude Code之父早让几千个AI通宵替他干活了。

正整数的字典序不可能无限递减。

这意味着，人类指望AI替自己盯着AI，可能收不到任何警报。

接着看调试日志，里面直接把银行卡号和金额给打印出来了，虽然正则表达式看不出来这串数字是啥，但语义分析几秒钟就反应过来：这是在泄露敏感信息，赶紧拦住。