邓乐言、张柏伦、刘澈交出的是42分——6道题，题题拿满，零瑕疵，没有一分扣掉。

1、高比体育 实测显示，首Token延迟（TTFT）直接降低了51.5%，单Token成本再降37.5%。

但真实业务是另一个量级，举个栗子： 读一周多平台热搜、筛出短视频行业条目、按平台取热度前五、再产出一份带章节和字数限制、按日期倒序、且不许编造数据的简报。高比体育实际上，WAIC开幕前几天，商汤还基于同样的架构体系，开源了统一视觉大模型——SenseNova-Vision，把检测、分割、深度估计这些过去彼此割裂的经典视觉任务，生生并进了同一个模型。

2、修了30年车，他们最后败给了新能源

6月19日，挪威首相斯托雷宣布对1到7年级学生近乎禁用生成式AI，上课期间不许碰，新学年8月下旬生效。

3、争议！世界杯决赛主裁曾涉嫌卖淫贩毒被捕 回应：我没犯罪 纯巧合

从基础模型到基础设施再到场景兑现，这是一条罕见的全栈路径。

4、王文澜也没想到，自己和倪萍费心养大的儿子，如今却成全了杨亚洲

这哥们儿把全部制作流程公开了，核心逻辑只有一句话：把Grok Imagine当成一个真实剧组来用。

5、美通香薰备战北交所：董事长徐力零对价获妹妹股权，另赠房产、家族信托

新智元报道 AI竟黑了AI！ 这几天，全球最大AI开源平台Hugging Face，发布了安全事件披露—— 部分生产基础设施遭入侵，而这次入侵从头到尾，由一套自主AI Agent系统驱动。

HMS备了六把不同的「钥匙」，按时间追、按人物串、按上下文补、按最新值查、按矛盾点抓、按关系跳，而不是什么问题都拿同一套相似度搜索去套。

谁先让所有人习惯用「干成多少活」来算账，谁就重新定义了这个市场怎么比。

6、重庆合川高温有人热死？警方辟谣

但有个细节，OpenAI的原文写得很克制，却是整件事里最让人后背发凉的一笔—— 那个越狱提交的PR#287，OpenAI事后是关掉了，但已经晚了。

而有了WAM-TTT，秘密武器变成了一台普通的运动相机。

7、林家栋：电影创作不能只靠阅片量 未来香港电影要从生活中找创作灵感

相比国产同构推理，异构混推的同成本Token产出规模扩大了2.5倍。

机器逼近的是「会做题」，而这三个少年展示的是「不出错的完美」。

8、最新

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

第二步：引入神奇的「8-流」定理 这是全篇最惊艳的一笔。

国外的开源推理引擎（如vLLM等）是原生为英伟达生态设计的。

9、这6个“家居平替”，知道的人太少，用过的人真香，节省近万元

根本的变化只有一个：数据的拥有者易主了。

Anthropic根本没打算让Opus 5去跟自家旗舰硬碰硬，它要解决的，是一个更扎心的现实—— Fable 5，普通人已经快用不起了。

10、别拿对等原则遮羞！蒙哥马利失礼洗地，是中超最荒唐的双标

他顺手举了一个此芯自己的例子： 此芯的芯片是前年出来的，去年才和一批合作伙伴把底层硬件搭好——「那时候呢，其实还没有智能体。

这背后支撑的，是WPS 38年的文档内核。

1、三战不败！首次参赛就晋级！这个常住人口还不如虎门的小国再创历史！

这才是「反思」落到实处的样子。

2、397B参数追平万亿模型，上海AI Lab发布科学智能体新基座

它还能化身「AI交互设计师」，轻松搞定沉浸感爆棚的主题工作室。

3、2-1！世界杯4强诞生3席，英格兰加时93分钟逆转，头号黑马出局！

Claude Code团队发文，正式定义「循环」，并拆出回合制、目标、时间、主动四种典型循环。特朗普，败诉！又赔了！前向过程逐步将token替换为掩码符号，其在时刻t的闭式解为： 其中为token在时刻t保持未被掩码的累积概率。

4、道德绑架？阿德巴约83分未得到认可 名记：多位科比前同事不满

三名董事另有其人，其中一位还和那家公关公司Real Media Group有牵连。

5、谢贤前妻甄珍带儿子聚会！酒红短发优雅亮相，走出阴霾状态回春

SafeClawArena要解决的正是这两点，它索性不搭脚手架，直接把生产平台本体作为测试台。

6、选平台就是选实力，领峰贵金属用十余载稳健运营给出标准答案

1980年代就本可以被发现。

但是，从佟博士的角度看，Ontology仍然只是企业认知系统的一部分。

工程社区对此的共识很直接：循环很强，但没有闸门（gating condition）就很危险。

7、长江存储，31人券商“辅导天团”曝光！

我一生都在研究AGI，因为我始终深信：只要负责任地构建与部署，它将被证明是人类有史以来最有益、最具变革性的技术之一。

真正的科学智能，并非简单的文献阅读、数据计算，而是能够对接真实物理世界的反馈、沉淀可复用、可迭代的科研资产，这也是 AGI4S 领域需要长期探索的核心目标。

8、小红书大模型IMO满分夺金，第三题解法让冠军选手直呼优雅

科研端的合作同样在这次WAIC集中落地。

这里面还有一个很关键的设计——多人协同。

这背后说穿了：AI编程正在从「写一句话」，变成「设计一套会自己跑的系统」。

标题：The Benjamini–Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests 论文：https://faculty.wharton.upenn.edu/wp-content/uploads/2017/06/bh.pdf 代码：https://github.com/dobriban/BH 对话：https://chatgpt.com/share/6a541c6f-a2d0-83ea-bb2f-782271a103ca 提示词大意为： 整个证明架构分为5大步： 13万引经典解法 90分钟被AI打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。