搜索
日常生活里人类的直觉判断，放到机器人身上，往往会变成棘手难题。
苹果国行 Apple 智能正式面向中国大陆用户开放开发者 Beta 版测试，计划随 iOS 27.3 推出，首批支持 iPhone 15 Pro、iPhone 16 系列等机型，并借助千问提供写作、视觉、摘要及 Siri 升级等功能。
爱心为什么会让 AI 爱上递归？
用流匹配（Flow Matching）或扩散模型（Diffusion Models）生成一张手写数字图像、一段 DNA 序列，通常需要从噪声出发，经过多步采样才能得到结果。每一步都要调用模型，生成质量逐渐改善，计算开销也随之增加。
大模型吃光互联网后，机器人的物理Token从哪来？
过去几年，神经网络接连改写了一个又一个领域：图像生成有了 Stable Diffusion，视频生成已经能做到以假乱真，就连 3D 渲染也出现了 RenderFormer 这样的纯神经网络方法。但在高保真物理仿真上，神经网络始终没能交出令人满意的答卷，游戏、动画和机器人领域至今仍依赖需要手动调参、难以求梯度的传统求解器。
660倍的参数差距，结果小模型赢了？！
人类用了两千年的模拟计算，开始被重新定义了。
Axiom的AxiomProver用24天将有限单群分类定理（CFSG）形式化，生成4310万行Lean代码，并发现34处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。
阿里数据团队基于117个模型技术报告筛选158个评测基准，提出基准健康指数（BHI），按能力区分度、抗饱和度和影响力诊断基准，论文获NeurIPS 2026 Evaluations and Datasets Track（Oral）录用，Humanity's Last Exam（HLE）综合第一。