「AI数学家系统」共找到 10510 篇相关文章
ARR达到3亿美金，Liblib完成近3亿美金融资，估值超20亿美金
近期，演语科技B+轮融资近3亿美元，估值超20亿美元。其ARR达3亿美金，多方面领先同行。该公司跑通PMF，旗下产品有自发传播、用户付费、专业机构接入等优势，LibTV靠系统编排能力切入高价值场景，还筑起生态壁垒。
机械手真正「活」了，银河通用&清华推出DexNDM，用神经动力学重塑灵巧操作
银河通用与清华推出DexNDM，旨在解决灵巧操作技能sim - to - real难题。它能让灵巧手掌握多种转轴、多样手腕朝向下旋转物体的技能，构建的半自主遥操系统可完成复杂工具操作和长程装配任务，在sim - to - real方法上有创新。
三重Reward驱动的运维智能体进化：多智能体、上下文工程与强化学习的融合实践
文章阐述了AI原生时代下，面向技术风险领域的智能体系统（DeRisk）的架构设计、核心理念等。介绍运维智能体发展现状，提出其技术演进需找三类Reward，还介绍相关概念、DeRisk架构，给出实践案例并将开源技术产品。
ICLR 2026 Oral | 西湖大学发布Real PDE Bench
复杂物理系统时空演化预测是核心问题，当前AI模型多在数值仿真数据上训练，难以评估其在真实数据上的表现。西湖大学等实验室提出RealPDEBench，含真实与仿真数据，设三类任务、九个评估指标和十个基线方法。
Figure三代机器人发布：洗衣洗碗家务全包！网友：非人形没有出路了
Figure发布第三代人形机器人Figure 03，专为适配Helix AI系统、贴合家庭场景打造。家务表现出色，CEO称无遥控。该公司发展迅猛，融资超10亿美元。Figure 03内外全面升级，为规模化生产设计，引发网友对人形机器人前景热议。
Claude独立攻克理论物理前沿难题，全程无人指导，花费不到两千美元
本文报道Anthropic旗下大模型Claude在几乎无人指导的情况下，独立完成理论物理前沿难题——平面N=4超杨-米尔斯理论九圈六胶子散射振幅计算，总成本不到两千美元，中科院团队也借助GPT-6得到结果，业内探讨了AI在科研中的能力边界。
存储芯片领域又冲出一家IPO！年入37亿
AI驱动存储“超级周期”，行业巨头提价，国内存储芯片公司股价上涨。深圳晶存科技9月底递表港交所，此前募资超7.06亿，2024年末投后估值37亿。虽净利润为正，但经营现金流持续为负，全球嵌入式存储市场市占率约1.6%。
全球看中国，灵初智能用10万小时人类数据写下具身智能的中国答案
2026年，“世界模型”成具身智能高频词。灵初智能联合创始人陈源培认为其非核心方向，而是数据迁移工具。灵初关注人类操作数据转化，在10万小时量级上可大幅替代真机数据，还介绍了系统模块、数据集及商业化阶段等情况。
谷歌新研究：大模型“吵架”有利于提升推理质量
谷歌新研究发现高级推理模型自发进化出'思想社会'，研究人员用LLM - as - judge方法识别出多个虚拟人格。还找到控制现象的'开关'，实验表明教AI'吵架'更有效，其'社交技能'通用，给开发者带来新启示。
智谱新模型也用DeepSeek的MLA，苹果M5就能跑
智谱AI上市后发布新成果，开源轻量级大语言模型GLM-4.7-Flash，API免费开放调用。该模型是30B总参数、3B激活参数的MoE架构，定位为“本地编程与智能体助手”，评测表现佳，采用MLA架构，多平台支持。