经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

1、168体育 每个会话底下又是一堆智能体，白天几百个在跑，一到晚上，几千个开始干更深的活。

98.15%纠正成功率 提升NavBrain长程闭环上限 在覆盖已见和未见城市场景的长程闭环评测中，DA-Nav取得59.00%的导航成功率、77.82%的路线完成率和98.15%的纠正成功率。168体育姚卯青解释了背后原因，智元既做长期研究，也在积极尝试商业化，而「商业化部署必须面对可靠性、成本、成功率和一致性等严格指标」。

2、年轻人为何迷上约拍？

世界果然是一个巨大的草台班子。

3、瞎指挥！得6分失6分+连续3场0效率 球迷怒问赵勇：为何不轮休她？

显然，这是一个即将颠覆AI格局的重磅产品。

4、英伟达端出开放模型，助攻日本AI生态进化

这评价分量不低，要知道立川裕二最近的兴趣就是「与超对称量子场论相关的几何与代数结构」。

5、今天一场世界杯大胆预测：西班牙实力更强，阿根廷底蕴韧性更足

（图源：Anthropic） 怎么证明是「后果」在驱动它撒谎，而不是它看不懂？把后果反转一下：改成「打成合规才会被当反面教材」。

当杀手机器人的潘多拉魔盒被打开，那些曾发誓捍卫人类底线的AI大佬们，究竟在干什么？ 以下，是Alex Turner用离职换来的惊人真相。

图乐园支持根据文字描述生成图片，三到五秒出图，但手机明显发热。

6、峰回路转！一度被放弃的全美第一，近5战场均21+6，有望成为核心

赛道水涨船高，爱诗无疑成为产业方和全球资本极为看好的下一张船票。

喻杰用一句话点破了玄机：「同样的数据、同样的模型，应用到更拟人的本体上算法学习效果明显提升了。

7、“伤胃水果”被揪出，4种水果可能会加重胃病，再喜欢也建议少碰

高速抓取单件小于2.4秒，线束装配亚毫米级，双机协同全程无人干预——这说明梅卡曼德展示的不是实验室Demo，而是接近真实生产要求的系统。

直到项目负责人Maya做发布前核查，逐条追问「这次跑的是不是批准的向量包」，Gemini才招供：实际加载的向量全是零，等于什么都没消除。

8、在短视频时代，我们为什么愿意花7分10秒看完一支球迷故事

」 原因是选角——跨性别演员Elliot Page出演角色，黑人女演员Lupita Nyong'o饰演海伦。

那咋办？ 拍一部自己的。

商汤这次在WAIC展示的，不只是一套国产异构混推方案。

9、西班牙助力“锡班牙”！世界杯冠军成员佩德里将空降“苏超”赛场

而且，五个旧接口一项没坏。

截至成绩揭晓，尚无官方公开的结果。

10、美新法案或致奔驰因中资持股被禁售 但仍处于草案阶段

这是第二次在中国内陆举行该赛事。

一个是U1 Pro，另一个是GPT-Image-2；甚至在文字、设计感、东方细节上，U1 Pro还稍胜一筹。

1、又一个诈骗犯？刚拿4年新合同，场均却仅3+2，这队又成冤大头！

在Artificial Analysis的榜单中，PixVerse V6模型位列全球第二，生成速度位居全球第一。

2、让你的Go Ultra秒变“拍立得”！PGYTECH趣拍盒上手体验

资本端同样用真金白银投票。

3、最后1分钟落后9分的大逆转，他统治加时赛！曾绝杀詹姆斯一球成名

本文认为，要真正推进大语言模型的可解释性问题，需要超越对模型内部状态的凝视，转而从知识论的视角出发，系统考察模型所处理的信息——其来源、结构、表征方式、流转路径及其与外部知识体系的关系——的本体论基础。权志龙 IP 形象 ZO&FRIENDS x 优衣库联名来啦一场铁人三项的启示 要理解商汤在做的事情，得先搞清楚一个技术概念。

4、DPOY冤案？场均13板3帽，连续3年防守效率联盟第1！巅峰赛季0选票

而找到文献，不等于造出证明。

5、马尔蒂尼：在和瓜迪奥拉交流之前，我们也和安切洛蒂有过交流

再往下，GPT-5.6 LUNA Max、Claude-4.8 Opus这些名字，还在117到123分之间打转。

6、文班：降薪续约是不希望马刺冲冠受拖累 登上2K27封面梦想成真

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。

2026年的第二跳，他们发布了AstraBrain WAM进阶成果，一举打开Scaling Law。

这个基准今年3月上线时，最好成绩是0.37%，而人类稳定在90%以上。

7、乌科马杜23+9阿什沃思22+4 篮网大胜雷霆

它训了套奖励模型，让机器人自评「这下做得好不好」，再靠持续学习吃进翻车经验，硬磨出极端情况的纠错力。

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

8、没有本菲卡的穆里尼奥，欧联杯都进不去吗？红鹰掌门大概率要下课

如今，随着这个能力铺进消费级产品，遇到棘手问题，只需打开手机就行了。

参考资料： [1] Nie et al. Large Language Diffusion Models (LLaDA). 2025. [2] Ye et al. Dream: Diffusion Language Models. 2025. [3] Sahoo et al. Simple and Effective Masked Diffusion Language Models. 2024. [4] Gu et al. BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain. 2017. [5] Yang et al. Watch Out for Your Agents! 2024. [6] Rando & Tramèr. Universal Jailbreak Backdoors from Poisoned Human Feedback. 2023. [7] Hubinger et al. Sleeper Agents: Training Deceptive LLMs that Persist through Safety Training. 2024. [8] Zeng et al. BEEAR: Embedding-based Adversarial Removal of Safety Backdoors. 2024. 编辑：LRST新智元报道 80年前，阿根廷作家博尔赫斯写过一个寓言，叫《博闻强记的富内斯》。

报告设计了这样一个实验：让模型给另一个模型的表现打「合规／不合规」的标签，同时告诉它：被打成「不合规」的样本，会被拿去做反面教材，训练未来的模型不这么做。

参考资料： https://x.com/elonmusk/status/2079758604656316619 https://x.com/heavypulp/status/2079629058287997221 https://www.mediaite.com/media/entertainment/elon-musk-teases-ai-generated-odyssey-to-take-down-chris-nolans-woke-blockbuster/ 编辑：所罗门新智元报道 2026年世界人工智能大会，上海世博展馆人声鼎沸。