深度|继宇树科技之后,人形机器人“千台俱乐部”再添猛将:松延动力半年订单破亿,两年六轮融资狂飙突进

成立不足两年的松延动力完成数亿元A+轮融资,成为国内第二家明确迈入千台销量门槛的人形机器人公司。其创始人姜哲源带领年轻团队通过务实的产品策略和前沿技术,实现了从研发到量产、再到商业化落地的速度与实力。

CVPR 2025 一行Dropout干翻多类异常检测?Dinomaly用“极简主义”刷出SOTA

论文提出Dinomaly方法,通过简化模型和创新技术解决了多类别异常检测中的性能问题。模型在多个数据集上达到SOTA表现,首次让多类统一模型超越单类专用模型,具有优异的可扩展性和易用性。

AI也怕压力大?REST多题评测挑战推理极限,DeepSeek性能暴跌近30%

给 AI 一场压力测试,结果显示顶级模型在多任务并行推理场景下表现大幅缩水。研究团队设计的 REST 框架在一个 prompt 中同时抛出多个问题,揭示了大模型在实际应用中的不足之处,并提出新的评测方法来提升评估效果。

AI音频生成重要突破!超10秒精准可控免训练,清华×生数科技最新研究被ACM顶会收录

清华大学与生数科技合作研发的FreeAudio系统突破10秒时长限制,实现精准时间控制和长时音频生成,3大核心技术包括LLM规划、解耦与聚合注意力控制及上下文潜变量合成等。该系统在多项指标上得分最优,在主观评估中质量最高。未来或将在Vidu产品端上线,并计划进一步探索更长时间段的音频生成技术。

AI音效90秒长时可控生成!“狼嚎2秒,蟋蟀鸣8秒”精准搞定!清华&生数科技新研究入选ACM MM 2025

文生音频系统FreeAudio实现精确时间控制与90秒长时音频生成,相比现有方法具有显著提升。它无需额外训练即可同时支持时间和长时生成,并在多个指标上优于主流方法。

全球最强开源「定理证明器」出世!十位华人核心,8B暴击671B DeepSeek

新智元报道
编辑:桃子 好困
全球最强的开源定理证明器登场!Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover,并再次夺下数学PutnamBench冠军。十位核心贡献者,八大顶尖机构联手发布第二版模型。