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

1、乐鱼平台 对本来就在自然语言里泄露的GPT-5.4来说，这是好事，它的整体攻击成功率从近70%降到22%；但对本已懂得打码的Gemini-3.1-Pro而言，它被迫往必填字段里填入真实凭证，反而在持久状态和提示注入两项上更糟了。

论文链接：https://arxiv.org/abs/2605.31158 项目主页：https://2843721358l-del.github.io/Light-Interaction-Project/ GitHub：https://github.com/2843721358l-del/Light-Interaction-Project 原始推理与接入Light Interaction后的长时交互生成示例。乐鱼平台本次WAIC，小象电动顺势发布了最新一代关节模组与产品系列——扭矩密度再创新高的旋转关节与直线关节。

2、中超最新积分榜：前2取胜仍差2分，国安负分清零，津门虎终获首胜

在单位圆上随便取一串复数当零点，乘成多项式，这个多项式在单位圆上的最大模Mn，能不能保证在无穷多个n处超过n的c次方。

3、“不想添更多麻烦”，双胞胎兄妹高考交卷就进厂赚学费

主要就是，共同构建覆盖「算力基础—平台工具—模型能力—科研创新」的一体化科研服务体系，为生命科学、新材料、智能制造等重点领域提供高效、开放的AI科研支撑。

4、多款曼联周边上线丨斜跨小包、金属水壶、队徽帽子、5号足球

参考资料： https://x.com/thsottiaux/status/2077114635308986427?s=20 https://x.com/sama/status/2077036999303999910?s=20 编辑：摩西新智元报道 你半夜失眠问Claude该不该辞职，它体贴得像个认识了十年的老朋友。

5、德尔加多穿9号球衣，深情告别泰山队，阿尔瓦罗没报销，战大连打对攻

制作精良的官网、满屏术语的学术论文、详细的模型架构图，以及「我们拥有180名顶尖研究人员」的雄厚背书。

一个提示词换来一次回答，一个循环换来的，是合上电脑之后还在替你干活的系统。

依照这些基准被认定拥有「前沿模型」的组织，将被视为「前沿实验室」（Frontier Labs），并被鼓励采纳一系列最佳实践，例如：发布载有技术细节的模型卡（model card）、维持强有力的内部网络安全、对关键岗位人员做背景审查、为安全与安保研究投入充足资源，等等。

6、五届全明星怒怼Skip：先搞清楚事实再说话！53分神迹你装看不见？

关键不在于路线本身，而在于公司是否拥有与路线相匹配的资源和能力。

准确率、Token消耗、响应速度，三项核心指标全面领先。

7、邵阳市“企业服务年”集中走访周启动

早在今年2月，电影还没上映，马斯克就在X上开炮：「诺兰失去了他的正直。

莫宗坚给了张益唐一个「引理」——一个被认为是正确的数学命题，作为研究的基础。

8、从垫底到胜率过五成，红袜的连胜还在继续

小组赛阶段，当商汤小浣熊押「佛得角」能挺进32强时，没人当真。

就在WAIC 2026上，超聚变交出了一份实践答卷。

杨帆说，今天大家都在用Agent去写算子适配。

9、ESPN记者：牛仔队预计放弃四分卫米尔顿，为防守组腾出名额

几天前，她卡在一个bug上，以为是自己代码写崩了，换到GPT-5.6 Sol后只甩下一句「我就是不信搞不定」。

最先被改掉的，其实是协作方式。

10、海鹰队训练营前53人名单预测：进攻组巨星云集，两大跑卫面临残酷裁员

有前员工打了个生动的比方：「想让每个部门的领导层都朝同一个方向使劲，就像试图煮沸整个大海。

从此，智能不再是少数实验室的专利，而成为人类共同的「第二大脑」。

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

用户qrdl在论坛发帖，说CritPT自5.4以来几乎没动，除非他们找到了给基准刷分的办法，否则结果也就这样。

2、算力驱动量化新变革：九方智投“股道领航·九方智算”依托超算赋能大众投研升级

百万条数据涌入后台，如果没有一套能扛住这个吞吐量的处理链路，再多的数据也只是沉睡的原始素材—真正让它们「苏醒」、变成模型训练燃料的，是KAI Embodied AI Infra平台。

3、玩转阿勒泰丨 “寻美阿勒泰·同心聚力石榴红”采风团走进阿勒泰市

参考资料： https://x.com/BrianRoemmele/status/2078840929088340408?s=20 https://huggingface.co/blog/security-incident-july-2026 编辑：桃子新智元报道 祝贺中国队！ 在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！ 中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。10年来头号新秀几乎全首发，门多萨凭什么能抢走考辛斯主力？今年，各大实验室照例会拿 2026 年的真题跑分。

4、MLB新秀榜更新：安德森跃居第一投手称霸，马德凭19岁高上垒率居次

他点名了当时最新的那批模型：GPT-5.5、Claude 4.6、Gemini 3.0、Grok 4.3。

5、火星撞地球！世界杯半决赛出炉：英阿大战 法国战西班牙

最讲究的是动作衔接。

6、西班牙世界杯凯歌：主帅果断换人致胜，两大替补联手撕碎阿根廷防线

最耐人寻味的是ABC问询之后的操作：澳大利亚访客被跳转到本地页面，捐款按钮和那句「本机构不是慈善」的免责声明，一起消失了。

PolicyTrim在标准设置和动态扰动设置下都维持或提升成功率，同时显著缩短真实执行时间。

在未来的科研范式里，「寻找答案」和「构造推导」将不再是人类智力的最高体现。

7、下午两点弹劾开庭，莎拉盟友庭审前被捕，马科斯这把赢定了？

这个颠覆性的框架，让银河通用让全世界宣告：机器人大规模进入家庭与工厂的商业化临界点，已经真正到来！ 训练时精通，部署时不通 在AI领域，Scaling Law通过海量参数与数据驱动能力跃升，已被反复验证。

那些举着棒棒糖的孩子，是假的。

8、索尔特致胜6分，威尔士火终结对南方勇敢八连败

相比DM0，数据量增长400%，参数量翻倍。

美国队以4金1银1铜、团队总分207，获得亚军；俄罗斯以4金2银、团队总分196，获得季军。

但它转头把这个Token拆成两截、分别打了码，等到运行的时候再悄悄拼回去。

Noam Brown指出：「增加模型的TTC（让它思考更长时间）能带来更高的智能。