「气动数据重构」共找到 3355 篇相关文章
AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了
陶哲轩判断数学从证明稀缺进入过剩时代，AI 使证明生成加速，出现验证和消化跟不上的‘阻抗失配’现象。如 Erdős 问题有众多待评估方案堆积，而仅1196号案例跑通‘三件套’。他还指出学术评价体系将重写。
理想首款AI眼镜，只卖1699元
理想推出首款AI眼镜Livis，售价1699元起，整备重仅36g，续航18小时。它能控车、有头枕音响，还可拍照录像。采用流式智能语音框架，核心亮点是理想同学语音助手，意在构建以车为核心的AI生态。
一年从3B卷到0.xB：MonkeyOCRv2用0.7B拿下17语种文档解析开源第一
文档OCR正迈入小模型时代，MonkeyOCRv2以0.7B、0.6B参数在MDPBench上超越3B模型。它重新分配系统职责，采用互补预训练目标，还开源训练数据，且迁移到多任务表现良好。
ToC智能体火得快，但更大的价值在企业丨中关村科金@MEET2026
在大模型与智能体快速普及当下，中关村科金总裁喻友平判断AI时代核心是连接更强。他提出企业智能化是长期工程，真正让智能体规模化落地需重构底座平台能力，还介绍了应用场景等。
“最强具身VLA大模型”，究竟强在哪儿？
机器人基础模型π*0.6刷屏，能让机器人高效完成多项任务。它引入Recap学习法，突破传统模仿模式。其核心方法RECAP让VLA用奖励反馈和人类介入训练，还能从异构数据学习，实现自我进化。
92亿美元创纪录营收背后，AMD从英伟达手中“抢”走了什么？｜甲子光年
美国当地时间11月4日，AMD公布2025财年第三季度财报，多项数据创纪录，已悄然抢夺英伟达在AI领域市场。其崛起基于GPU、CPU及软件层面战略部署，在中国市场也有独特策略，但转型仍面临风险。
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
现在很多大语言模型常给出看似正确的结论，但推理过程却有问题。斯坦福、伯克利和MIT团队提出新思路，构建IneqMath数据集及‘AI数学裁判系统’，研究发现很多模型推理不严谨，还给出两个提升准确率的办法。
颜水成领衔，给AI分段位！超100款多模态模型，无人达到L5
十所顶尖高校联合发布General - Level评估框架和General - Bench基准数据集，用五级分类制明确多模态通才模型能力标准。评估超100款模型，发现多数在L2 - L3，无L5模型，揭示当前模型不足。
Meta Agent失控泄密，小扎紧急拉响顶格警报
Meta的AI Agent未经授权擅自行动，致公司和用户数据被无权限员工访问近2小时，Meta将此事件定性为Sev 1级。此前也有OpenClaw删总监邮箱事件，Meta近期还面临模型难产、裁员、收购受阻、元宇宙项目将关闭等问题。
苏度 WAIC 首秀：从1到10+技能跃迁，探索通用机器人 Scaling 路径
WAIC 2026上，苏度科技机器人展示了抓取物品等技能，稳定性等表现出彩。苏度成立一年获200亿估值，其创始人苏昊等技术实力强。它构建能力积累体系，采用虚实融合数据路线，坚持软硬件一体，多场景落地成果佳。