OpenAI科学家：现有模型+后训练足以产生黎曼猜想的新证明
OpenAI科学家：现有模型+后训练足以产生黎曼猜想的新证明一个全新的模型能力衡量指标诞生了？！
来自主题: AI技术研报
8811 点击 2024-12-28 11:49
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
一个全新的模型能力衡量指标诞生了？！
数字生命一直是人类几十年来的追求，反映了我们对技术与人类体验交汇的深层探索。近期，复旦大学发表了一篇综述论文，首次系统梳理了角色扮演AI（Role-Playing Language Agents，RPLAs）的研究现状，现已被机器学习顶级期刊TMLR接收。
近年来，视觉-语言-动作模型（Vision-Language-Action, VLA）在诸多机器人任务上取得了显著的进展，但它们仍面临一些关键问题，例如由于仅依赖从成功的执行轨迹中进行行为克隆，导致对新任务的泛化能力较差。
CPU+GPU，模型KV缓存压力被缓解了。 来自CMU、华盛顿大学、Meta AI的研究人员提出MagicPIG，通过在CPU上使用LSH（局部敏感哈希）采样技术，有效克服了GPU内存容量限制的问题。
控制无人机执行敏捷、高机动性的行为是一项颇具挑战的任务。传统的控制方法，比如 PID 控制器和模型预测控制（MPC），在灵活性和效果上往往有所局限。而近年来，强化学习（RL）在机器人控制领域展现出了巨大的潜力。通过直接将观测映射为动作，强化学习能够减少对系统动力学模型的依赖。
视频生成模型卷得热火朝天，配套的视频评价标准自然也不能落后。 现在，北京大学MMCAL团队开发了首个用于视频编辑质量评估的新指标——VE-Bench，相关代码与预训练权重均已开源。
DeepSeek新版模型正式发布，技术大佬们都转疯了！ 延续便宜大碗特点的基础之上，DeepSeek V3发布即完全开源，直接用了53页论文把训练细节和盘托出的那种。
现在是夜里1点，我准备了一些素材，正打开可灵，想跑一些关于AI拥抱的视频。 然后，发现给我弹了个窗，悄悄的，在深夜，可灵AI里面生图的模型-可图，更新了。
“人类将在2029年实现AGI。” 这是2006年,雷·库兹韦尔(Ray Kurzweil)在波士顿人工智能大会上发出的惊人之语。
据不完全统计，已有24家券商积极拥抱AI大模型，在投研、投顾、风控、运营等多个领域展开了深入探索和应用。