智东西3月25日消息，昨日，美团龙猫（LongCat）团队发布专门了用于数学形式化与定理证明模型LongCat-Flash-Prover的背后技术栈。 从自动形式化、草稿生成到最终的形式化证明，LongCa…
来源：睿见Economy3月25日，博鳌亚洲论坛2026年年会于3月24日至27日在海南博鳌举行。在“人形机器人的进阶与飞跃”论坛上，百度集团执行副总裁、百度智能云事业群总裁沈抖出席并发表观点。 沈抖表示，…
AI把顶尖科学家的个人科研效率，实打实地提升了10倍以上。
Meta收购AI社交平台Moltbook，扎克伯格要做什么？
京东公布AI进展：龙虾系产品token调用量环比增长455%
黄仁勋罕见谈生死：希望在工作中突然离世 最好当场毙命毫无痛苦
近日，记者调研发现，以杭州、深圳、上海、北京为代表的枢纽场站，正通过深度政企协作，携手高德等企业将接驳精度细化到“车位级”。 杭州东站作为全国首个实现“车位级引导”的枢纽，通过与高德的数据链路互通，实现了物理…
英特尔CEO陈立武将于COMPUTEX 2026台北国际电脑展发表主题演讲
不用等！比亚迪路天承诺宋Ultra EV上市就能交付：新增暮云灰内饰
黄仁勋震撼发言：AGI时代已经到来，“龙虾开公司”不是梦！
拒绝重复造轮子：Mozilla首发cq共享知识库，让AI编程学会“抄作业”
百度沈抖：人形机器人进入家庭是最后一步，十年后成本一定会大幅降低
04/01 16:41
10/31 16:58
10/31 16:56
京公网安备 11011402013531号