一个困扰数学界整整30年的图论猜想，被一个AI在Slack群聊里「摸鱼」的时候，顺手推翻了。

1、亚搏手机 相比市场上一些以摄像头为核心的智能眼镜产品，Halliday G2 采用无摄像头设计，更强调真实工作和社交环境中的自然使用体验。

换我是Meta员工，估计也得懵。亚搏手机而是要让AI画图不再停留在“哇，好漂亮”的惊叹，而是继续往前走一步：这图能不能装下我的所有需求、能不能把细节画清楚、能不能直接拿去改、拿去用、拿去交差。

2、严重可能致猝死！医生提醒感冒后千万别着急做这件事

文字控制、屏幕交互、空间交互……它能理解你拿着手机在做什么、你的手指向了哪里、你做了什么动作。

3、光脚、背“外卖盒”、羽毛头饰...早春秀谁赢了？

与不少模型主要围绕数学、代码等单项能力训练不同，Grok 4.5将强化学习扩展到了数十万个真实的软件工程和知识工作任务 模型需要完成多步推理、调用工具、从错误中恢复并验证结果，更接近Agent在真实环境中的工作方式。

4、中国海警局公布菲多艘船只侵闯中国黄岩岛管辖海域现场画面

如黛玉的最新事件就是第76回的“冷月葬诗魂”。

5、足坛博弈开启！世界杯拟扩军64队，因凡蒂诺或拿方案充当谈判筹码

最值得的关注是，光轮智能作为唯一一家中国公司，出现在这个顶级大佬云集的全球标准牌桌上。

少有产品能满足这些需求。

其中，80B平均提升约0.99个百分点、在617B上提升约1.03个百分点，较大的提升出现在SuperGPQA、MMLU-Pro等更难的推理与知识任务上。

6、耐克中华区新帅申凯希的首个“重拳”：砍掉中国内地线上经销商！

2024年3月，理想首款纯电MPV MEGA上市，月销量远不及预期的8000辆目标。

S0在底层全程独立维持机器人不摔倒的平衡状态，精准执行动作指令。

7、旅比金丝猴宝宝命名揭晓：“珍珍”和“喜乐”

例如，中国科学院上海药物所与浙江大学组成的“可以的”团队，围绕蛋白质构象系综生成任务研发MidSummer自治科研智能体。

机器人要找一包蔬菜，顾客却可能顺手把它放进了牛奶柜。

8、西班牙VS比利时前瞻：中路对抗两个思路，斗牛士靠亚马尔发挥

u1s1，拼AI工具数量可能确实过时了。

这不止是工具堆叠，这是一套通过可信验证持续重构认知的闭环系统。

现在模型给出的反例长这样：三个终端，需求分别是15、10、15。

9、清朗金融网络 守护安心消费

这很可能是所有模型公司从第一个模型发布开始，最快实现千万美金ARR的记录。

邓煜在学习上展现出极高的热情和专注，高中每次考试，总分都比别的学生高出60多分。

10、榜单综述｜第3轮

而现在，每家前沿实验室都在往这台发动机里疯狂加油。

在北大仅读了两年，他便转学至MIT。

1、47的汤唯、43岁的安妮海瑟薇官宣三胎，她们比20岁还要更美

如果仅看小时数，短期目标是现有产能的15-20倍。

2、梅西与C罗最后一争，美加墨世界杯成绝唱

这种软硬件联合优化，纯软件公司可做不到。

3、加拿大VS摩洛哥：青春风暴碰撞非洲硬汉，谁能晋级八强？

这正是织影（Shadoweave）团队践行的设计思路，原始记忆严格封存绝不改动，AI开展回忆推理时，依托多条证据交叉核验，如果新线索推翻旧判断，系统就会摒弃之前的错误结论。低谷期改命最好的方式：主动扔掉这1样东西行业也在用真金白银投票。

4、GoPro宣布出售：从130亿美元王者到不足2亿市值，揭示硬件公司的转型死亡陷阱

（doge） 虽然具身落地的场景愈发细分，但同质化依然严重。

5、户外路跑营销案例｜Citizens银行打造差异化马拉松营销体系

从龙头企业到末尾公司，都经受着盈利下降、运营亏损、现金流吃紧的阵痛。

6、绿茵场上的百年恩怨-英阿大战：当足球成为“没有硝烟的战争”

这也正是我国智算基础设施破局的关键所在。

同一套架构，既能输出动作，也能预测未来。

这次募资时间短、速度快。

7、再创新高！广东外贸凭实力爆单

新智元报道 过去45天，Anthropic几乎没停过手。

这些系统层面的工作，就是开头那组25倍增长曲线背后真正的支撑。

8、希拉丨米兰是我的梦想

过去几年，L2辅助驾驶和L4自动驾驶，往往被看作两条并行发展的路线。

那个年代他在公开场合的标准造型还是深色西装、浅色衬衫、系着领带，一看就是标准的华尔街青年。

就是生成速度慢了点。

必须找到合适的团队恢复元气，所以我们做了组织改革。