一个87年的猜想，就这样被AI「随手」破解了。

1、英亚电竞 DeepSeek自研推理芯片的消息刚刚曝光、OpenAI发布了定制芯片Jalapeño、Anthropic也在接洽三星探讨自研方案——全球AI算力的格局正在经历深层洗牌。

J-Space能够告诉我们模型「在想什么」，却无法告诉我们模型为什么以这种方式思考，它所依据的「理由」是什么，这些理由在何种意义上是「好的」理由。英亚电竞又快又便宜，天生就是为「海量处理文档」「Agent搜索」这种高频、走量的场景准备的。

2、法国多点开花且团结，姆巴佩伤势并不严重：我想让替补球员也进球

它真正的升级，藏在三个新增的结构里。

3、连带效应？罗马诺HWG蓝军租借边锋，22岁阿根廷人加盟维拉

眼下一个尴尬的现实是，AI找漏洞的速度，已经快过了现有系统修漏洞的速度。

4、校地合作见真章，延庆蔬菜“云”上畅销

参考资料： https://x.com/demishassabis/status/2076957440109625718?s=20 编辑：大卫 所罗门新智元报道 【新智元导读】大模型在原子操作任务中遭遇瓶颈。

5、做强做优做大实体经济｜加“数”奔跑的黑龙江

图 2 显示，模型规模扩大确实能改善一部分规则清晰、可模板化的操作，但面对依赖三维空间关系的任务，这种提升并不稳定。

」 腾讯Robotics X实验室主任张正友给出了更宏观的判断：「整个行业还在起步阶段，远未收敛。

在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

6、周一安静上班的同事，周日却在球场嘶吼辱骂——足球如何偷走你的理智？

其中来自上海中学的邓乐言，张柏伦，来自华东师范大学第二附属中学的刘澈，以满分的成绩获得金牌。

大型迁移特别适合喂给AI，原因很朴素—— 活儿天然是并行的，几千个文件能同时开工； 旧代码本身就是最好的规范； 测试套件是现成的裁判； 编译或测试一失败，下一个待办自己就冒出来。

7、隐瞒病史做手术，整个科室差点团灭！医生：求求大家讲真话！超70%患者会隐瞒，还有人隐瞒HIV、梅毒来生小孩！出了事故谁担责？证据是关键

磐石ScienceOne今天正式上线，感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天？Claude Code之父早让几千个AI通宵替他干活了。

给代码权限，给财务权限，给评估权限，然后看会发生什么。

8、户外路跑营销案例｜打造全链路激活体系，补水品牌iPRO树立健康营销标杆

宣传里的性能，和现场跑出来的体验，是两个世界。

年底交货。

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

9、荷塘公安开出首张无人机超高飞行罚单

执行这场挑战的，是原力灵机最新一代具身通用基础模型——DM0.5，全程自主执行。

可解释性问题的真正难点，或许不在于技术手段的不足，而在于问题框架本身的窄化。

10、足坛大地震！170国超2331万人请愿驱逐阿根廷男足：还世界杯公平

特斯拉、Figure这些公司在做什么？他们几乎不约而同地把竞争推向了另一个层面——Physical AI。

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

1、全新宝马X5原型车瑞典测试中意外陷入深雪！

银河通用在不到两年的时间里，以惊人的速度，完成了具身智能技术与产业应用闭环的「三连跳」。

2、压力给到奥利塞！曝皇马不会私下挖角拜仁球员，除非球员自愿离开

一个人，两帧起始图，一套prompt，拍出了连贯的电影级对话戏。

3、西班牙晋级决赛！37场不败平纪录，3战法国全胜，连刷9纪录

一觉醒来，GPT-5.6 Sol变笨了！ 一个日本的市场调研团队，早上开工没多久，就发现手里的Codex Sol MAX不太对劲，领队把这一上午的遭遇写成一个长帖，扔到了Reddit的r/codex上。赢在智造丨解锁“AI炼金术”：山东有色金属的8600亿智变事情的起因很小。

4、烟台“齐鲁超赛”第二现场招募美食商家！专属福利拉满～

LeCun在旁边补刀，暗讽自己埋的雷炸了自己。

5、阿根廷为何输球又输人，甚至成了本届世界杯最受非议的队伍？

留存，对应大脑的巩固，经历被结构化地沉淀进一个稳定的记忆库，而一旦沉淀每次回忆时不再被随手改写。

6、风格，才是女人最好的顔値_网易订阅

支撑「用得起」的，是一个此芯自己敢喊的数字：国产唯一实现单Token能耗降低50%以上的SoC+NPU一体化方案。

如果把长程导航比作沿着一条细线行走，传统方法更擅长在没有干扰时沿线向前；DA-Nav则进一步具备在偏离细线后主动靠回来的能力。

这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。

7、周六，赴“荆”相会！

AI Coding在这里，已经不是一个提效工具，而是长在企业身上的研发基础设施。

而在屏幕下方，一台机械臂正自主拉开易拉罐的拉环，将饮料稳稳递给台下的观众。

8、Opta的数据还算公平，阿根廷的夺冠概率仅‌15.93%‌，已跌出前三

Qoder选择的，是把安全护航做进智能体编码会话之内。

简而言之，S1-Omni成功打通了从「跨模态科学理解与推理」到「领域原生结果生成」的完整链路。

大脑系统要证明的，是机器人能不能像人一样连续、稳定地干活。

第二步：gcd(6,6) = 6，lcm(6,6)/6 = 1，黑板变成[6, 1]。