一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

1、Kai云体育 同一天，由上海人工智能协会、河套学院、中国信通院华东分院牵头、20余家机构共建的具身物理智能统一评测平台Physical IQ物智，也在同场亮相。

这份报告，扭转了我们对「AI失控」的想象： 我们一直担心的，是AI当面顶嘴、公开反抗。Kai云体育Kimi K3绝对是AI发展史上的一个历史性时刻，开源AI进入后Claude Opus 4.8时代！ 300亿美金豪赌 智能成为公共设施 Kimi K3的2.8万亿总参数，是MoE架构的精妙设计——总参数巨大，但激活参数远低于总参数，提升了MoE的稀疏度，结合Stable LatentMoE 框架，实际推理时从 896 个专家中激活16个。

2、清华学姐死磕出来的"超能力"T恤！男女都有！

点一下土星，右边滑出资料面板。

3、《异形：火力小队2》Steam国区8月26日发售

发布会上，SenseNova U1 Pro的官方定位是——面向复杂多模态任务的交付系统。

4、星环聚能陈锐：可控核聚变“大国重器”，为何商业公司能做？

而佟博士所提出的企业认知主权，最终强调的是一个更基本的原则： 企业不能只拥有调用智能的权利，必须拥有形成智能、评价智能和持续进化智能的权利。

5、报告显示：上半年国内住宿市场“峰谷交替”运行特征明显

对于这项工作而言，LLM的角色并不是替代审稿人完成评审，而是在现有评审流程之外，为文字评语与最终评分之间增加一层校准机制，希望借此减少评分尺度不一致带来的随机性，为同行评审提供更加稳定的参考依据。

这件事当时震动了整个数学圈。

实验结果显示，经过统一评分尺度校准后，论文排序与长期学术影响力之间具有更高的一致性。

6、跨越千里赴羊城，戈壁甜瓜入湾区 中卫硒砂瓜广州推介会顺利举办

换成以前的模型，撞到这堵墙也就认了，掉头回来跟你说「我做不了」。

可当所有智能都跑在云端的数据中心里，AI基础设施就真的到头了吗？ 无问芯穹的答案是没有。

7、微软押注AI豪掷1900亿美元，Azure增长40%却碰上天花板

过去一百年，人类传递历史的方式，是文字、图片、影像。

没有人类，坐在键盘前。

8、中国美术学院录取通知书附带30张速写作业，引网友热议

在此之前，Codex Sol MAX面对一个提示词，会花掉十分钟以上，反复试、反复推、反复调用他们的工具，直到把活儿干得挑不出毛病。

而此芯在做的事情，是为这些未来的AI居民打造栖息之地。

从技术解法走向创业项目 7月18日—8月8日为报名时间 8月29日正式开营 第四届大赛一二三等奖及优胜奖获奖团队， 可解锁OPC创业孵化绿色直通面试， 快来看看那些团队榜上有名吧！新智元报道 过去两年，AI智能体（Agent）完成了一次身份转变。

9、舞动团结情，唱响新风尚！2026年黔西南州移风易俗文艺巡演润民心

Turner本以为看到了希望，但现实却狠狠给了他一记耳光。

bug刚修到一半，弹窗一出，全停了。

10、被黑大半年！杨瀚森辟谣！

一年之后，一个人面对的将是一张智能体的组织架构图，自己坐在最顶端那个格子里。

两阶段顺序优化可以避免「拉长chunk」和「缩短步数」两个目标互相干扰，最终减少完成任务所需的前向推理次数次数。

1、CBA男篮动态更新！徐杰出发美国特训，朱芳雨瞄准福建潜力，周鹏有望回归广东，广东接触NBA级别中锋

（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

2、IMAX大战AI！诺兰刚封神，马斯克官宣Grok重拍《奥德赛》

面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

3、南京同曦官宣：与杜润旺李玮颢完成签约，期待新赛季取得好成绩

上午9点，该团队照常开工。归纳总结勒布朗-詹姆斯作为NBA职业篮球运动员的四个优点研究团队在3个平台与5个大模型交叉出的15种组合上完成了评测。

4、疯狂6-4！英格兰创60年最佳战绩，两项世界杯历史纪录被改写

纳德拉的第二层判断 2026年7月12日，美国东部时间上午11:09，纳德拉又在 X 上发表了关于Reverse Information Paradox，反向信息悖论的论述。

5、70岁保洁母亲被判替女还债百万元，通话录音成为呈堂证供，母亲痛哭喊冤“是女儿捏着嗓子冒充我”

正是因为你知道结局是什么，那种无力的刺痛才显得如此真实。

6、石河子大学吴新锋教授不幸去世，年仅43岁，绝笔信曝光

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

哪怕只有几条PV跑通时，它释放出的供给侧潜力，也足以满足大量之前被压抑的个性化体验需求。

生成智能构建物理世界的内在表征，物理智能掌握物理因果、推演平行世界，认知智能负责复杂逻辑推理与长程任务分解。

7、万贯家财被酒桌掏空，50岁痛失爱女，66岁腾格尔近况如何

但回到当下，U1 Pro想证明的事其实很朴素：把过去只有少数专业人士才握得住的能力，交到更多人手里。

GPT-5.5被部署成一个创始人笔记本上的智能体。

8、又一个北约成员国宣布退出，军事库存已耗尽，无力“供养”乌克兰

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

加速技术验证与迭代落地，有效解决实验室分拣痛点，全面提升自动化效率。

产出的训练数据里，单条轨迹平均15次工具调用，最长超100步，覆盖数据分析、跨系统整合、批量文档处理、报告生成。

我们有理由相信，这条全链路底座，必将支撑起百万级Agent产业生态的规模化爆发。