「推箱子」共找到 613 篇相关文章
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。
北大南开数学家解决著名“十杯马天尼”问题：更统一、更优雅的证明
困扰数学和量子力学交叉领域半个世纪的“十杯马天尼”问题，虽2005年被数学家给出完整证明，但原证明依赖特殊对称性，难以推广到现实。北大葛灵睿、南开尤建功加入研究，将结论推广到更大类准周期算子，给出更优雅统一证明。
奥特曼出新招防挖角！员工期权变钞票，按5000亿美元估值兑现
被挖怕了的奥特曼开启新一期员工期权兑现计划，按5000亿美元估值兑现。这一计划若推进，既能留人，也能推高OpenAI估值。目前OpenAI发展态势好，但也面临与微软谈判等挑战。
马斯克AI女友直播「一秒变身」，Karpathy看完立刻投钱
世界首个支持直播推流的「实时」扩散AI视频模型MirageLSD诞生，大神Karpathy亲自站台。它能理解真实视频后同步生成AI视频，实现零延迟、无限时长、每秒24帧不卡顿，给视频娱乐和直播互动带来丰富想象。
端到端语音模型：从语音表征到模型架构
本文整理自阶跃星辰语音模型负责人杨学锐在2025年QCon全球软件开发大会的分享。介绍大模型对语音技术的重塑，涵盖识别、合成等方面；阐述端到端语音模型构建，涉及表征、架构、训推和任务；还提及模型评估方法。
独家丨清华00后团队「零次方机器人」获超亿元融资，聚焦可真实落地的具身智能
AI科技评论独家消息，零次方机器人近日完成超亿元融资，由润泽集团领投。该公司由清华00后创办，团队超百人。已实现单月量产百台，订单破亿，推出具身操作基础模型，融资将用于软件、硬件和生态建设。
飞书合作的第一款AI硬件来了，居然是个AI录音豆。
飞书与安克创新合作推出首款AI硬件——AI录音豆。该产品小巧便携，可夹在衣服或吸附金属上，有飞书生态，录音质量好，自带底噪抑制，录音后能自动同步云端，快速生成会议纪要，还支持实时翻译。
理想的眼镜，和李想的眼界
今年11月，李想称要让理想成具身智能领域最佳企业。一周后，理想发布AI眼镜Livis。Livis解决了轻便、续航与性能的矛盾，还利用造车积累实现资产复用。理想推它是因AI眼镜潜力大，能输出跨场景AI能力。
一家智能眼镜公司，为什么非要自研AI大模型系统？｜甲子光年
智能眼镜要么不够智能，要么不像眼镜，李未可科技CEO茹忆认为AI要成第一响应者。该公司推三款AI眼镜，搭载自研系统。其自研AI大模型系统，是为交付难复制AI体验闭环，解决通用API不足等问题。
微软强塞AI暴涨价！小哥惨遭Office全家桶绑架，每月含泪打钱一次未用
最新调查称仅8%的人愿为AI买单，科技巨头却将AI硬塞进日常软件。外国小哥Ted Gioia吐槽被微软AI全家桶绑架，付费却未用。巨头此举或为掩盖亏损，Meta还计划激进推AI，而ChatGPT将上线新功能。