在现场，量子位也听完了四位学者的报告。

1、乐鱼全站 Fable 5，前几天刚刚证伪了87年历史的数学雅可比猜想；就在今天，GPT-5.6 Pro证伪了图论领域三十年猜想——Dinitz-Garg-Goemans；北大数院华人校友，使用GPT-5.6 Sol配Codex，五天破解了6大Erdős难题。

5月底，小红书官宣成为2026年“美加墨世界杯”持权转播商，也成为了除中央广播电视总台、咪咕之外，唯一的直播、点播、短视频版权的持权方。乐鱼全站从官方公布的成绩与网友的反应来看，马斯克可能还真所言不假。

2、22分钟狂砍24+10 科利尔双踝术后闪电归来

他在帖子里专门感谢了「fable」，感谢它在世界杯决赛期间坚持加班。

3、法拉利V12发动机改的咖啡桌，390磅无底价拍卖

这个能力被周伯文提到了决定性的高度。

4、卡拉格谈C罗与梅西最大差距：他不是天生被认可，而是靠一生证明自己！

而Grok 4.5，显然也准备加入这场工程战。

5、“我太不专业了”：红人投手为粗口怒吼裁判道歉

《中国企业家》记者 梁宵 编辑｜米娜 头图来源｜中企图库 4月30日，世纪隆宣汉（四川省达州市）的一家门店试营业当天，3000多平方米的门店挤满了人，超市所在综合体的五个出入口水泄不通；一天下来，光是经过POS机的统计人次就有17000之多。

不过这还只是埋下了一颗不满和怀疑的种子。

研究问题、数据字典、分析脚本、运行记录、审查意见和人工裁决，也应当被保留下来，让别人能够沿着证据链重新走一遍。

6、世界杯最被高估！英格兰卧底葬送世界杯！皇马巨星笑到最后

但很快，投资人、用户、行业开始质疑——融了这么多钱，到底能交出什么？ 文远知行经历过这个阶段，景烁团队也经历过，所以他们比谁都清楚，数据基础设施必须走在前面。

对阿里而言，这是又一次主动变阵。

7、欧联资格赛前瞻：特罗姆瑟迎战赫拉德茨克拉洛韦

另有消息称，DeepSeek也已开始初步讨论在上交所科创板上市的可能性，并设定了年内提交IPO申请的内部目标。

那是谁做的？ 根据诉状，答案是一整套Meta内部的AI系统 原告把它称为一个「星座」（constellation），包括： 这套系统的输入指标包括：滚动12个月绩效评级、代码提交量、AI工具使用量、产出体量，经理背书和路线图关联度信号。

8、2-1，中超13轮不败！青岛西海岸3进球被吹，海港张源鲁莽铲球红牌

这标志着WeLM已形成覆盖预训练、后训练和推理优化的完整技术版图。

这种设计的另一个好处是渐进叠加。

这便是中国电信人工智能研究院（TeleAI），刚刚在WAIC 2026提出的新技术路线；其背后这套融合AI、通信和网络的技术体系，则是智传网（AI Flow）。

9、世界杯最大争议判罚：克罗地亚读秒进球被吹出局 球员喊话难以接受

相关能力已在PersonalMem、LongMemEval等记忆评测中达到SOTA级表现，简单问答最快10.3ms召回，复杂任务最快800ms召回。

这场交锋，大疆、影石已蓄谋已久。

10、国际乒联恢复俄罗斯运动员参赛资格_网易订阅

2008年三聚氰胺事件爆发后，中国乳制品工业协会牵头制定了一系列堪称史上最严的质量标准，建立原料奶分级管理制度，推行全产业链可追溯体系，实施月月抽检的行业自检机制等。

看看展台上那些Demo就明白了，机器人形态各不相同，单臂、双臂、双足、轮式…… 不同任务需要不同身体。

1、武都多措并举激活妇女就业增收新活力

但按现在AI实验室抢数学家的架势，这份名单大概率不会稳定太久。

2、喜讯！依木兰在鲁能足协杯比赛获得久违首发机会，直接成场上亮点

在即将到来的国际数学家大会上，另一名菲尔兹奖获得者陶哲轩会在大会上做一场公开讲座，题目叫《AI时代的数学》。

3、还有最后4天，等自由市场开启时，湖人会报价詹姆斯吗？

去OpenAI，去的还是安全部门，逻辑就通了。海牛仅剩2外援，5主力缺阵保级6分战 河南拒4连败 马拉尼昂该首发了推理速度与模型大小存在关联，但不能直接划等号，参数量很大的模型经过工程优化，同样可以做到极速推理。

4、内蒙古一男子醉驾身亡保险拒赔，法院：保险免责条款未尽提示义务，保险公司赔15万元

放到2026年的评审框架中，它依然是一篇非常标准的NeurIPS理论论文。

5、1962年雪佛兰克尔维特“心脏移植”：327扩缸至331，四轮碟刹上身

这背后有一个关键认知——底层模型能力，是最关键的事。

6、太阳报：消息人士对热刺有意M费表示怀疑；罗马诺：西汉姆联将把M费出售给出价最高的俱乐部

而所谓“人在回路”，也不能只剩一个确认按钮。

他的判断是：“科学研究是下一个Coding。

除了全员大集合外，我们还看的一个明显的变化： 过去各家比的是”我这颗芯片算力多少”，单卡性能多么牛；而今年，提到最多的是“系统创新”与“高效协同”。

7、排名闪电队过去10年首轮选秀：从德文·詹姆斯到洛杉矶史上最大水货

他们拼命把各种VLM或VLA端到端模型做大，试图用更庞大的参数量来暴力破解物理世界的复杂性。

于东来说，希望胖东来做一个样板、一条鲇鱼，激活整个行业的服务升级。

8、状元首秀27+7！奇才摆烂6年捡到“宝”，但真正赢家却是独行侠队

全新纯电i6一季度交付4.9万辆，但全年仍需大幅爬坡；下半年i9将进入更高端的纯电市场，直面蔚来、小鹏、问界的竞争。

作者还展示了自己的花销情况，从第一步开始到模拟结束，后台大约只消耗了14块钱。

《心智之问》圆桌谈到了攻击、有害生物研究、心理依赖等风险。

这或许也是Xmax团队反复强调「通用」交互模型的原因。