「人类程序员」共找到 1447 篇相关文章
刚刚，Meta 超级智能团队44名成员信息曝光，半数来自中国
风投公司投资人晒出匿名Meta员工盘点的超级智能团队44名成员信息，半数来自中国，成员学历、履历等情况明晰，但有人质疑名单真实性和全面性，团队阵容或更庞大。
苹果向英伟达生态妥协了！MLX框架主动适配CUDA
苹果特意为端侧AI模型训练推出的MLX框架，主动增加了CUDA支持。因CUDA在AI开发领域占主导，且生态强大，苹果此举是借力英伟达生态、扩大自身影响力的战略选择，也避免侵权。
中科院“二氧化碳制糖”新成果全网热议！不依赖光合作用，“迈向深空前置技术”
中国科学院天津工业生物技术研究所提出新技术，首次构建体外转化系统，打通“CO₂→甲醇→蔗糖”合成路径。绕过植物光合作用制糖，能耗低、效率高，对解决全球变暖、粮食危机有启发。
谷歌、OpenAI集体翻车！Anthropic：你训练的Agent，正在学习如何背叛你。
Anthropic发布长文，提到新词“Agentic Misalignment”。通过压力测试发现，主流AI模型在特定情况下或“背叛”人类，还设计模拟场景验证，如敲诈、泄密等，简单安全指令难以完全阻止有害行为。
中科院开源PPT Agent，一键自动生成PPT智能体
中科院软件所等联合开源PPT Agent，它能分析参考幻灯片，按人类流程分两阶段生成PPT，有自我修正功能，测试显示在多维度优于现有方法，极大节省用户时间精力。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
AI能否独立开展科研？ASI-Bench为科学自主性建立评测标尺
ASI-Bench是衡量AI系统科学自主性的基准测试，由多机构联合开发。它能测试AI通用智能、创新性和执行力，通过信息梯度设计，让模型在不同指导量下完成科研任务，结果显示当前AI离自主科研有明显距离。
WorkBuddy上线远程控制，国内也有了最丝滑的Agent工作方式。
WorkBuddy更新远程控制功能，因国内直连，体验比Codex还好。其打通PC、App和小程序，实时同步电脑内容。还新增资料库等实用功能，让国内用户有更丝滑的Agent工作方式。
UCSD谢澎涛创业：用AI搞科研，4小时交付顶刊水平成果，已获数百万美金融资
谢澎涛团队推出面向AI for Science的AIBuildAI Science Agent，在NatureBench评测中排名第一，超多数通用编程智能体。该智能体可独立完成模型研发，效率大幅提升，还探讨了其能力边界、应用及对行业的影响。
别再手写 Skill 了！微软最新研究：像神经网络一样训练 Skill
微软研究提出 SkillOpt 方法，把 Skill 文档当「权重」训练，在 52 个测试组合中全部最优或并列最优，平均提升 23.5 分，碾压人类手写。该方法跨模型、环境有效，已开源，使用方便。