搜索
经过决策训练的语言模型，重新打开生成开关后，未必还能稳定地推理。在研究者的实验中，4B 模型在约 40% 的问题上几乎不生成推理；9B 模型则走向另一端，在约 70% 的问题上持续生成，直到触及长度上限。
日常生活里人类的直觉判断，放到机器人身上，往往会变成棘手难题。
苹果国行 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处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。