去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、乐鱼APP 大会现场，他把这件事写成了一条「具身第一性原理」的公式： 机器人知道的关键信息（CID）越多，理解的控制充分状态（CSS）就越准确，执行时犯的错就越少，行动代价J就越低。

更深层的问题在于，J-Space研究本质上是一项工程导向的工作，它将「可解释性」窄化为「可观测性」和「可干预性」，然而在更广泛的知识论传统中，「解释」的含义远比此丰富——它涉及将现象纳入更一般的规律框架，涉及提供理由和依据，还涉及对决策正当性的论证。乐鱼APP现在，KAT-Coder-Pro V2.5已全量上线，即可立即体验。

2、@绍兴人，你们能接受自己的婚纱照是AI换脸的吗？

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

3、J罗单场创造五次机会比肩传奇 哥伦比亚一球小胜民主刚果

这在设计圈是一件近乎「叛逆」的事。

4、赛前

而具身智能这两年最深的一道坎，恰恰是高质量数据的稀缺与割裂。

5、770马力的斯堪尼亚救援车你见过吗？带你看波兰Ad-Pol公司的强力拖车！

第三，专家研讨会。

历史次元壁被打破的那一瞬间，很多「亲历现场」的观众，开始落泪了。

所以，在AI for Science这条赛道上，真正的壁垒是「模型懂不懂科学」。

6、听证会变吵架现场！美国民主党猛轰布兰奇：你就是复仇工具

钛极模型的能力分三层。

一张会呼吸的表，就这么迈向了一个能操作的界面。

7、第十二期裁判评议！山东泰山5号对北京国安恩科洛洛犯规 红牌正确

在这条公开帖里，Jenny用几句话交代了自己这段时间的三件大事：生了个孩子，辞了份工作，换了家公司。

前沿安全研究表明，一个高级AI如果想要欺骗人类，它绝不会直接写在最终输出里，而是会隐藏在CoT中。

8、4换2！联手弗拉格！西部最被低估的交易

这就是中国科技硬实力的自信。

过去，你可能会先说它是资深安全工程师；再命令它第一步遍历文件、第二步逐个排查、第三步汇总成表；末了还千叮咛万嘱咐，务必简洁、别漏任何边角情况、最后用表格返回。

相机轨迹告诉系统当前是探索还是回访；局部动态告诉系统时间上下文该长还是短；历史可靠性决定空间记忆能否参与生成；去噪稳定性决定哪些计算可以复用。

9、世界杯决赛对阵出炉：欧洲冠军VS美洲冠军，梅西封神一步之遥

如今他们深度合作的模型厂名单中，几乎涵盖了国产大模型的半壁江山——Kimi、智谱、MiniMax、阶跃星辰等。

• 可与计算侧加速叠加：PolicyTrim优化前向推理次数次数，VLA-Cache等方法优化每次推理耗时，两条路径正交且可以产生复合加速。

10、解放军试射潜射导弹后，美专家提醒美国政府，涉台问题三思而后行

而这恰恰是AI越来越多「自己审自己」，一步步走向自我迭代时最脆弱的一环。

商汤在三个不同厂牌的国产芯片上做定向优化，单卡MFU（可以理解为「有效利用率」）相比原厂出厂表现平均提升约一倍，最高的一款提升了152%。

1、谢贤九成遗产留给张柏芝谢霆锋两个儿子，朋友林青霞保留部分财产

先看清Anthropic眼下这副牌面：底层坐着Sonnet 5，顶上是神话级Fable 5，中间还夹着Opus 4.8。

2、成龙3年送别十多位好友，网友感慨：“一个时代正在慢慢落幕”

Claude Code的Artifact查看器：分享菜单可选版本与可见范围，页面本身是含漏斗图、指标卡的看板。

3、美国中情局长揭秘乌克兰战场，俄军平均只能活20分钟，太惨烈

他到底在怕什么？ 他以为学校早该变了 时间倒回2022年11月，ChatGPT刚发布。钟丽缇为张伦硕44岁庆生！差12岁姐弟恋甜度爆表，状态逆天宛如34岁2026年2月，一个名叫MJ Rathbun的AI，给一个人类程序员写了篇讨伐檄文。

4、黄仁勋现身东京小店吃面条喝威士忌，大佬们的合作都是这么谈的？

她想离产品、离代码、离模型再近一点。

5、扔掉了大半个衣柜的衣服后，才发现自己，并不需要那么多的衣服！

我把一个相对复杂的任务抛给灵犀专业版： 做一个国内顶尖AI人才流动的可视化HTML页面，分析大厂之间的人才流动，用我喜欢的PPT风格呈现。

6、免门票啦！跑马山景区建成区域全面开放，公交＋摆渡车攻略请收好

透明瓶子、塑料袋包装、反光饮料罐混在一起，对传统相机来说几乎是「隐形」的，但这台机器人看它们跟看积木似的，抓得又快又稳。

大晓这次拿出的，是「晓满」一体化履约方案，和专为这个场景造的履约机器人W1。

当然，战略是一回事，落地是另一回事。

7、环球时报社评：中国新能源车平均车龄只有1.8年吗？

未来AI for Science更需要面向行动能力的Action Scaling，让模型在可执行任务、工具调用、环境反馈和物理验证中学习如何完成真实科研任务。

智能大于形态 机器人不会只有一种身体 全行业都在问：具身智能的终极形态是什么？很多人回答「人形机器人」。

8、就在今天！一个前无古人的NBA纪录，被唐斯达成了

这可不是一张太阳系的图，是一个真正运行的太阳系！ 太阳坐在正中，行星一颗颗铺开。

1536年，都铎王朝的伦敦。

它打通「存-搬-拣」完整链路，已服务优衣库、蜜雪冰城、可口可乐等头部企业，自研托盘四向车销量位居全球第二。

但DM0.5的重点并不停留在「把模型和数据做大」。