ming blog

记录生活,分享思考,探索无限可能

瞬间

春节把王国之泪再重新玩一遍,试试塞尔达笔记好用不

02-07 21:27

暂无文章发布记录

美团技术团队
美团技术团队
04-27 08:00 ·

LARYBench 发布:定义具身动作表征 ImageNet,首次度量从人类视频学习的泛化表征

LARYBench (Latent Action Representation Yielding Benchmark),一个指引从大规模的视觉数据学习到通用的隐式动作表征的系统化评测基准。实验结果表明:在动作泛化和控制精度上,通用视觉模型的表现均显著优于专门为具身智能设计的动作专家模型,具身动作表征可以从大规模人类视频数据中涌现。

阅读原文
美团技术团队
美团技术团队
04-07 08:00 ·

LongCat-Flash-Prover:AI 攻克数学定理证明,不仅要“算得对”,更要“证得严”

在常规的数学解题中,模型只需要“答对最终数值”即可,但数学定理证明不同,它要求极度严苛的逻辑链条,任何一句自然语言的模棱两可,都可能导致整个证明的崩塌。那么,如何让 AI 从“猜答案”走向“严谨证明”,成为复杂推理具有挑战的课题。为了解答这个问题,我们开源了专门用于数学形式化与定理证明的模型 —— LongCat-Flash-Prover。

阅读原文
明明

春节把王国之泪再重新玩一遍,试试塞尔达笔记好用不

明明

微软账号被盗了,怎么样才可以找回呀,密码,手机号都被改绑了,真的是万恶的微软呀!!!

明明

自从新冠之后,每次感冒都要一周多才能好,以前一两天都能好的。

瞬间图片