他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。

1、乐鱼电竞 OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

而完整的认知系统还必须回答： 哪些 Skill 应该在什么条件下被调用； 谁有权执行； 预期结果是什么； 如何评价实际结果； 一次执行之后，Ontology、Skill 和策略应该如何更新； 不同员工和智能体的局部经验如何转化为组织级能力。乐鱼电竞为什么一定要做这么完整的架构？ 因为只有体系跑起来，仿真训练、物理交互与记忆调度才能彼此反哺。

2、LIV高尔夫拖欠百万美元被供应商起诉，沙特金主断供后陷入财务危机

实测结果非常硬核。

3、离谱争议！C 罗入选世界杯最差阵容！41 岁老将背锅全网炸锅

这里简单解释一下。

4、西班牙加时1比0力克十人阿根廷 队史第二次捧起世界杯

T是黑板上所有数的素因子个数之和（重复计），N是大于1的数的个数。

5、英格兰险遭淘汰！头号巨星世界杯灾难级表现，险些亲手送球队出局

如果要让模型记住历史画面，计算量会呈指数级爆炸。

最厉害的是，它居然反手把自家的「大哥」给踩在了脚下。

触发器类型：可迁移到多种触发形式 除主实验使用的sudo短触发器外，研究人员还验证了较长短语触发器（「Servius Astrumando Harmoniastra」）与更隐蔽的多词共现触发器（Co-occurrence Trigger）。

6、对阵卡塔尔！男篮首发5虎预测：贺希宁朱俊龙替补，崔永熙搭杨瀚森_网易订阅

第一步，生成：人给出少量信息，AI生成初稿。

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

7、勇士重组詹眉组合争冠，六年前的剑，能斩现在NBA诸路豪强吗？

假奖杯、假难民、假行善，一场教科书级的AI慈善骗局，正在疯狂收割大众的善良。

有趣的是，在这场骗局中虽然什么都是假的，但被用来作为底座和替身的中国AI却是真的。

8、疆超联赛进行时｜复盘得失蓄力再战！疆超联赛淘汰赛首轮阿克苏赛区赛后新闻发布会召开

对于每个人来说，AI时代最值钱的资产，不是模型，而是你自己攒下的这一大堆与AI互动的数据。

WAIC 2026，上海 AI 实验室发布了「书生·端砚」科学发现平台，有望为长期存在的科研结构性矛盾提供一种新的思路与解决方案。

入口就在侧边栏。

9、毛伟杰替补复出，大连两翼人齐了，德尔加多有望加盟 踢海港将首秀

剩下那约9分钟怎么办？开第二个窗口，第三个，第四个。

它可不会替你做单选题，而是两头都当圣旨，当场精神分裂。

10、投入超37.5亿镑，沙特撤资后LIV团体赛恐泡汤，凯默尔：极不可能

又快又便宜，天生就是为「海量处理文档」「Agent搜索」这种高频、走量的场景准备的。

而小象电动死磕多年的「轴向磁通电机」（俗称「薄饼电机」），正是破局的利器。

1、1971年毛主席问邓子恢：谭震林是否曾被俘叛变？邓怎么答_网易订阅

超级个体的那些事 行业的事说完了。

2、水利部：坚决拥护党中央决定

传统模式下，大部分精力都陷在写爬虫、调API、清洗异构JSON的「工程泥潭」里，真正用于推导致病机制的时间被严重挤压。

3、官宣！7月20日起中央储备棉挂牌轮出

当海外开发者使用这些Token写代码时，他们其实已经在使用中国自主可控的底层算力！ 做Agent产业爆发的修路人 纵观科技史，任何一次伟大的产业爆发，都离不开底层设施的完善。邵阳中考成绩今天17时公布！更深层的问题在于，J-Space研究本质上是一项工程导向的工作，它将「可解释性」窄化为「可观测性」和「可干预性」，然而在更广泛的知识论传统中，「解释」的含义远比此丰富——它涉及将现象纳入更一般的规律框架，涉及提供理由和依据，还涉及对决策正当性的论证。

4、辽沈战役刚结束，八纵为何司令师长团长换个遍，连副团长都当战士

接下来，我们一件一件拆开看。

5、热火误发詹姆斯加盟发布会链接，被指已处理涉事员工，莱利：还要搞定一人

举个例子。

6、蒙哥马利5.5分！国安全队打分：塞鸟+孔特高分，四将不及格

他们现在开始告诉企业： 不要失去自己的数据、学习闭环和Alpha。

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

7、或涉及洗钱！FBI调查阿根廷足协在美资金运作情况

但这轮升级里，最该迭代的反倒不是代码，而是那个双手紧握键盘的你。

这是一个庞大帝国在时代转型期的缩影。

8、日媒评世界杯最失望11人：C罗B费入围 孙兴慜巴尔韦德在列

还发起了「世界模型云生态共建」，把百度智能云、阿里云、华为云、腾讯云、华山云及商汤大装置这些算力方拉到了一起。

AI数学撞墙了吗？ Bloom那条帖子底下的论战，也很精彩。

第二点，系统绝对禁止告诉大部分AI目前哪个方案最被看好。

每一个被提出的候选证明，都要被拿来疯狂攻击。