AI破解56年数学难题登Science！还是DeepMind讲究，成果交给同行评审
AI破解56年数学难题登Science！还是DeepMind讲究，成果交给同行评审AI数学圈最近是真热闹。
来自主题: AI技术研报
6855 点击 2026-10-14 12:15
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
AI数学圈最近是真热闹。
数据越采越多，机器人就能越来越会干活吗？
Z Potentials 独家获悉，上海半图科技（SemiGraph）已完成单轮超过千万美元融资，由联想创投等多家国内及海外一线资本领投，老股东IDG资本持续加码。本轮融资将主要用于人类行为模型研发、数据体系建设、团队扩充，以及AI原生3D互动场景的产品化落地。
修 Bug、操作计算机、规划实验室操作、优化化学反应，甚至研究复杂的免疫系统。
大语言模型为什么能 scale？一个重要基础是，海量来源各异的知识，被统一进了同一种输入输出空间 —— 文本。输入是文本，输出也是文本，主干模型在这个统一空间中学习、组合与迁移知识。那么，具身智能要获得类似的泛化能力，通往 Physical AGI，它的 “原生统一空间” 是什么？
未来数字世界会是什么样？
英伟达联合MIT和牛津大学团队提出Physis-Lang，通过物理语言描述、自进化准则和能力导向的数据检索提升视频模型的物理理解与生成表现，其Cosmos3-Super和Cosmos3-Nano在Physics-IQ Verified分列第一、第二。
不抢注意力，只帮你收拢主线，也可能是一种 Personal Agent 的起点。
厘清智能近日完成天使轮及天使+轮数亿元融资，蚂蚁集团连续两轮加码并领投天使+轮，资金将投入物理世界数据管线、模型研发、物理仿真、能力评测、跨本体适配与部署系统建设。
DeepSeek Harness v0.2.1-alpha.1 加入实验性 Claude Code Mods 兼容层，用于验证其扩展能力与“一切皆插件”架构的关系，但目前尚不能保证所有 Mods 无缝运行。