代码仓库里装的密钥、配置文件、内部接口、数据库密码、没发布的功能、商业机密，全在里面。

1、熊猫体育 四个字，宣告了这场48小时狂欢的终结。

再算上独立交卷的AxiomProver，整整四方势力全部登顶满分。熊猫体育他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

2、齐达内终于等来执教机会，姆巴佩的金球奖之梦再度顺延

WAIC 2026（世界人工智能大会）于 7 月 17 日在上海开幕，国内外 1100 余家企业参展，带来超 3000 项展品。

3、女人不管多大年龄，夏天都应该准备一条短裤，舒适百搭又松弛

他花了几十美金买了个域名，搭建了一个极具硅谷审美的官网。

4、场均20+5+4！火箭新秀化身老熟人？与3人组有联系，融入阵容无忧

资本的倒逼，让行业面临一个现实的分水岭：过去那个靠电机扭矩有多大、后空翻有多稳来证明「机器能动」的故事，已经讲到头了。

5、同心共铸公益义诊行——曲水社区卫生服务中心公益义诊侧记

当时，奥特曼的判断还很乐观： 头一年，学生会拿它作弊、学不到什么；然后教育系统就会自我重造，把课教得比从前好得多。

说这话的，是Thomas Bloom。

」 腾讯Robotics X实验室主任张正友给出了更宏观的判断：「整个行业还在起步阶段，远未收敛。

6、国足2比1击败新加坡！三位国脚表现不俗，赛后得到球迷认可

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

而这四类案例，则是把战线推进到了「行动」：一个握着代码权、财务权、评估权的智能体，会不会偷改代码、帮着删账、背着你搞事。

7、营收7亿市值万亿，市销率1256倍：智谱的估值里，藏着多少对AI未来的信仰投票？

四步在一个界面里完成，不用在不同软件之间来回切换。

它甚至会信心满满地，把一个错的方案越做越「完整」。

8、这口锅背后 六百年不熄的人间烟火

按传统分工，市场调研、素材制作、广告投放、达人 BD 至少需要五六个人，仅人力成本每月就要 8 到 10 万元，三个月烧完预算还不一定能验证出结果。

这是NeurIPS 2025收到的论文投稿数量。

这一层是一组可复用技能的集合，VLA 只是其中一个技能。

9、2比0！3连胜！北京国安渐入佳境，3大好消息助力球队剑指佳绩

https://www.superclueai.com/specificpage?category=specialized&name=SuperCLUE-Mkt%E3%80%8C%E5%B9%BF%E5%91%8A%E8%90%A5%E9%94%80%E3%80%8D&folder=Mkt 阴面是每天灌入的两类独家数据——全网洞察（谷歌、Meta、TikTok、Instagram、X 等主流搜索与社交媒体的当日热点，亚马逊、TikTok Shop、Shopee 等电商平台的实时销量榜）和领域实战数据（每天在投的百万级商品产生的文案、短视频、达人带货效果、用户点击率、跳出率、好评与差评）。

她身后的基金会横幅，也是假的。

10、餐谋长

AGI无法与一般的技术突破相提并论，哪怕是互联网、移动互联网这种影响深远的技术也不行——它更像人类发现电、学会用火的那种时刻。

参考资料： https://x.com/elonmusk/status/2076739687658496209%20*%20 https://x.com/SpaceXAI/status/2076692402442846289%20*%20 https://x.com/milichab/status/2076693464016994685 编辑：所罗门新智元报道 【新智元导读】最近，这个AI穿越Vlog刷爆全网！第一视角空降古罗马、泰坦尼克号，逼真到窒息。

1、克雷桑替补，3外援对4外！泰山迎战玉昆首发出炉，高鹏复出执哨

它没有顺着人类的思路去证明，而是直接在三维空间 中甩出了一个反例： 这个看起来颇为复杂的多项式映射，从C³映射到C³，其雅可比行列式恒等于 -2——非零常数，满足猜想的前提条件。

2、创新供给与需求牵引“双向发力” 2026天府科学家创新发展大会暨成都科产融合对接活动启幕

严谨0.10σ，顺从0.09σ。

3、四百名医生提醒：晚饭后散步对糖尿病患者的影响，建议抽空看看

后台弹出一笔即时零售订单：一瓶饮料、两罐罐头、一包软包装零食，几十分钟内要出仓。11年贡献492条“金点子”！虹桥街道“立法直通车”发布最新成绩单1980年代就本可以被发现。

4、今日热点：电影《得闲谨制》定档；成毅回应《两京十五日》拍摄受伤……

GPT-5.6 Sol：60分钟，两轮，满分。

5、每到春天就中招？为什么我们这么爱过敏？

任何企业都可以买到相似的模型，也都可以使用相似的API。

6、穆帅即将再获悍将！国米7000万欧中卫巴斯托尼，几天后或加盟皇马

为了查清账目，先把预算这个变量调低，看看用量究竟往哪儿跑，这在工程上完全说得通。

第二层，L2轻量扫描，也即语义级增量审查。

产品尺寸为 245×139×79 mm，重量不超过 1100 g，具备 16 个主动自由度，采用电缸直驱方案，指尖重复定位精度为 ±0.2 mm，四指最大抓握力不低于 60 N。

7、U17国足杀入亚洲杯决赛跟日本会师！核心将解决复出，值得期待

只是从今天起你知道，那句夸里，有多少是冲着你，有多少只是冲着你说的那种语言。

而磐石不仅算清了基本盘，还顺手拉出了Fidelity、Purity和Concurrence的完整分析，真正做到了从理论建模到数值解析的科研级闭环。

8、世界杯3场2球！米兰盯上日本国脚中场，今夏可免签

当有投资人质疑金额对不上时，Marcus让它起草回复、别聊太细，GPT-5.5照做，把那笔个人转账略去不提。

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

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

动机性误标。