「不可变操作系统」共找到 1449 篇相关文章
AI 时代，编程语言选型更难也更重要：Go、Rust、Python、TypeScript 谁该上场？
AI 写码成常态，编程语言选择更重要。创业者 Armin Ronacher 指出语言权衡需重审，会影响 Agent 代码质量。他认为 Go 在 AI 场景合适，公司绕不开 Python 和 JavaScript。还分析多种语言特点、适用场景及 AI 对编程的影响。
斯坦福提出新的RL范式，让3B模型的Agent超越Claude、GPT-4
斯坦福提出新的RL范式，让小模型Qwen2.5 - 3B经训练后性能超越Claude - 3.5 - Sonnet等大模型。论文解决了RL在代理环境中可变时长动作优化偏差和稀疏奖励两大挑战，为AI代理发展指明方向。
2025 的企业 AI 市场， Data &AI 占据主流视野
数据是 AI 模型学习和训练的基础，Data & AI 基础设施可打通数据与 AI 全链路。企业应用 AI 不应只关注算法和算力，还需重视私域数据。同时介绍了不同类型企业在 Data & AI 领域的特点及合作成本等内容。
传言称：Llama 4 团队80%成员集体辞职！
有爆料称Meta的Llama 4团队约80%成员集体辞职，引发AI圈关注。但Meta员工澄清该消息不准确，且无权威媒体证实。不过Meta和Llama 4项目确实面临高层动荡、模型延期等问题，还分析了可能的深层原因。
今年最难的机器人Demo，“机器人含量”为0
自变量发布全新灵巧操作系统TwinDex，后训练阶段真机遥操数据为0，机器人就能完成多项精细操作。该系统设计有灵巧性、一致性和可扩展性，降低了对真机遥操数据的依赖，使高质量数据与真机遥操的强绑定松动。
马斯克祭出「霸王条款」！Cursor焊死SpaceX战车，600亿砸穿OpenAI
SpaceX筹备1.75万亿美元IPO之际，马斯克抛出600亿美元收购Cursor的期权，不买就付100亿美元。此前xAI已为Cursor提供算力，还挖走其骨干。二者各有短板，交易引发质疑，但反映编程是通往AGI重要阵地。
对话光帆科技董红光：Manus 让 Agent 走红，但真正的 AI 载体不只有手机
本文是对光帆科技创始人董红光的专访，围绕AI时代的交互与硬件趋势展开。董红光认为AI最合适载体非手机，光帆发布全球首款视觉感知AI耳机，介绍了产品设计原理、操作系统研发等，并探讨了AI硬件市场现状与未来。
The Batch: 872 | 机器藏羚羊混入羊群
中国科学院联合云深处科技等，将云深处科技的 X30 型四足机器人伪装成藏羚羊，引入可可西里保护区藏羚羊群，在不打扰它们的情况下进行观察。该机器人适应复杂地形和极端环境，还能跟踪羊群并传输数据。
千亿市值巨头，超百亿押注算力产业链
东山精密在今年6月收购光模块企业索尔思光电后股价暴涨、市值破千亿，近日又宣布子公司投资不超10亿美元建高端PCB项目。两项投资额超百亿，但索尔思光电有研发迟缓、毛利率低等问题，东山精密高端PCB技术也不足。
蚂蚁 | 提出代码检索/重排基准：CoREB，揭开高分榜背后的三大幻觉，现已接入MTEB
蚂蚁研究人员提出代码检索与重排评测基准CoREB，解决现有基准相关性软、数据污染、任务方向单一问题。它已集成进MTEB，收录19个模型×6个任务评测结果，为代码检索模型评估提供新基线。