△复旦大学上海数学中心准聘副教授，王天栋 AI擅长检索、归纳、寻找特例和反例，也可以同时生成几十条候选证明路径。

1、星空官方 就像AI理解幽默、展示心智理论、解语言谜题，都经历了同样的曲线。

你都不用跟它一句句解释，只需要给一句指令，哪怕不够专业、不够精准，它就能立刻开工推进项目，并在后台默默消化和生成。星空官方这场青年论坛由复旦大学国家发展与智能治理综合实验室、上海科学智能研究院、复旦大学哲学学院、上海市青浦复旦未来技术研究院和Datawhale共同主办。

2、自爆！汤神重回勇士，这无敌吗！？

过去几年，整个具身智能行业普遍追求模型参数、评测榜单，似乎拥有更好的模型，就等于拥有最强的机器人大脑。

3、世界杯半决赛后不久，亚马尔1100万欧豪宅遭遇入室盗窃未遂_网易订阅

摄影：邓攀 这也是老城商贸的老板陈高鹏最近一直思考的问题，在他看来，品质商品的路子肯定是对的，但品质化水平也有不同层次——有的超市能做到对原材料的把控，有的能做到对源头的把控，而胖东来那样的企业则做到了对所有环节的把控，比如同样是火腿肠，它可以要求所用猪肉部位、调料品牌等。

4、一年650万！掘金奇兵出走，约基奇痛失好帮手，马刺坐收好礼

当然，普通ChatGPT用户暂时还不用急着拔网线。

5、运气爆棚！西班牙靠对手门将送礼晋级，实力烂到骨子里！

现在世纪隆的员工会很自然地跟两位老板打招呼，取消了绩效考核的超市业绩也“自然地”好转了。

最后一层，也是金山办公最熟悉的一层，仍然是文件交付。

这套系统按照人类神经系统的生物学逻辑，进行了彻底的分层解耦。

6、钝刀割肉！韩国球迷心态炸了：丢人 赶紧订票回国 主帅下课

早在上世纪90年代，认知科学家Stevan Harnad便提出符号奠基问题，追问符号系统怎样通过感知和交互获得真实意义。

出现在学习软件、办公系统、浏览器插件里。

7、西班牙200万人夺冠游行！3地狂欢6小时 全场高喊“颤抖吧哈兰德”

这便是织影（Shadoweave）的定位：不去开发一款定制化记忆工具，而是打造面向全行业的AI记忆协议。

来源：AI生成 起初，他全面拥抱AI——概念图、文案、角色立绘全部由AI生成。

8、福利来了！库尔勒一景区免票半价同步开启，速看优惠人群→

但问题在于： 经典的「鸡生蛋」问题又出现了。

3、穿戴路线 这条路线与硬件耦合更为紧密，解决方案通常会与数采手套等设备打包，堪称“卖铲人中的卖铲人”。

这样既能适应新环境，也能保证原先能力不丢失，实现部署后的连续学习。

9、【沪企行】第四期“浦创108”最具投资潜力50佳实训营开营

而动作专家模块负责输出连续、平滑的动作序列，提升抓取、弯折、移动、贴合和放置等相邻动作之间的衔接稳定性，减少机械抖动、动作突变和轨迹偏移。

传统自动化设备可以解决高度固定的流程，但面对多型号、小批量、高变化生产环境，柔性能力不足。

10、贵阳马拉松，就是要这个味

推理速度与模型大小存在关联，但不能直接划等号，参数量很大的模型经过工程优化，同样可以做到极速推理。

△AI生成 值得一提的是，面向真实的物理场景，京东当前已经把自研JoyAI大模型的能力，进一步封装成了一套给智能硬件使用的AI大脑——JoyInside。

1、最新

更重要的是，美图还提到了一个特别有意思的维度——团队的“第二属性”： 事实上，很多时候，一个产品真正的护城河并不是模型，而是创始团队长期积累下来的行业理解。

2、DeepSeek V4「满血版」曝光了！最快明天发布

这是Anthropic刚刚在长文博客中，发表的暴论。

3、郑丽文最该感激之人实则是蒋万安，蓝营未来形势或呈现一转变

这也是目前业内较有共识的、真正可Scaling的落地路径。APEC秘书处执行主任佩德罗萨：以合作弥合数字鸿沟 互联互通共促发展真正痛下决心、坚定行动的，往往是那些已经出现问题的企业。

4、比赛日

·把新项目PRD的摘要发给Slack上的Nick。

5、商汤大装置联合近20家生态伙伴发起“银河计划”，将共建5个万卡级国产智算集群_网易订阅

不要索要用户名、密码这类隐私内容，而是引导用户查看帮助文档。

6、赢合科技：聘任杨仝焕为公司董事会秘书

时代变了，联想也变了 时隔20年锚定世界杯，联想的品牌升级逻辑也已经全然革新。

但就像他说的，“按照大部分企业现状，是不可能全部都干的，能干成其中200~300项，效果就会很明显。

模型如果分不清哪些变化来自物体、哪些来自传感器，就很难实现跨设备泛化。

7、菲尔兹奖得主邓煜不写作业、极少记笔记却稳坐年级第一，高中老师：全班叫他“围棋战神”，早年差点走上职业围棋道路

2023年的arXiv论文里它是open，2026年1月的文献里它还是open。

此外，项目荣获 EAI-100年度十大突破奖，入选Pytorch Ecosystem、蚂蚁开源榜，代表其在具身智能基础设施领域的技术领先性与行业认可度。

8、招4480人！2026年新疆“三支一扶”计划招募公告

MCP、A2A、CLI与统一API等协议被纳入调度框架，生态服务可以以更适合Agent调用的形式接入。

眼看清，脑想明白，手落地执行，三件套凑齐，机器人真正具备了干活的完整能力。

但谈判是跟他的团队谈的。

而不少网友也是第一时间开测，并表示打破了自己对Grok模型的固有印象。