形式化证明迈向多模态，MLLM 正确率仅 4%，港科大等推出全新基准

自动定理证明领域虽有进展，但多集中于纯文本定理。现实中，几何学定理常需结合图像理解，而多模态大模型能...

专业知识2025-06-18

16.5亿高位“迎娶”丝域养发，孩子王急渴难解

母婴零售换挡期，孩子王跨界引争议 母婴零售行业正经历消费场景的深度变革，从囤货型刚需向即时高频需求转变...

媒体报道2025-06-18

罗马仕充电宝召回事件：安全隐患频发与行业反思

一、事件概述：大规模召回与多起安全事故 召回公告：深圳罗马仕科技有限公司宣布召回2023年6月5日 - 2024年...

行业新闻2025-06-18

‌弹性工作：为何反而感觉更累了？‌

在快节奏的现代生活中，弹性工作制度如同一缕清风，为职场人士带来了前所未有的自由与灵活。然而，当这份自...

公司新闻2025-06-18

当巴黎世家4500元的平角裙，遇上义乌4分钱的发卡

"这不是时尚，是流量开的价。你没看错，巴黎世家又一次出手，一条4500元、酷似平角短裤的半身裙点燃舆论场，...

专业知识2025-06-18