「程序理论」共找到 394 篇相关文章
孙正义要用10亿个智能体干掉所有程序员
软银创始人孙正义宣布集团迈入‘人类程序员时代的终结阶段’，计划让AI智能体全面接管编码和编程工作。今年将部署首批10亿个AI智能体，未来会有数万亿个投入使用，且成本低廉。
数据减少超千倍，500 美金就可训练一流视频模型，港城、华为Pusa来了
香港城市大学与华为香港研究所合作推出 Pusa 项目，它基于 FVDM 理论，可极低成本微调大规模预训练视频模型，成本降超 200 倍、数据减少超 2500 倍，代码已开源。
2026苹果学者公布！20个席位华人占8席，西安交大校友上大分
苹果版「顶尖AI人才计划」公布2026年名单，20个席位华人占8席。该计划是Apple Scholars in AIML，为入选博士生提供资金、导师和实习机会。入选者研究多与苹果核心业务相关，苹果研究也从理论走向应用。
ACL 2026 Main | 不只是调用地图API，Spatial-Agent让大模型生成可执行地理分析工作流
大语言模型在空间领域应用广泛，复杂地理分析问题需组织自然语言成可执行流程。Spatial - Agent 加入 GeoFlow Graph 中间层，借用 GIScience 理论，实验显示能提升准确率，不过仍受数据质量等限制。
NeurIPS 25 | GRPO进阶版来了，GVPO重构大模型后训练范式
大模型后训练越发关键，GRPO 有缺陷。作业帮与香港科技大学（广州）团队在 NeurIPS 2025 提出 GVPO 方法，解决 GRPO 稳定性难题，理论有最优解保证，实验表现超现有方法。
腾讯悄悄给AI开发者开了个口子，很多人还不知道
当下AI工具供给过剩，分发成关键，变现难困扰独立开发者。4月16日微信AI小程序成长计划升级，放宽准入、流量扶持、新增变现激励，包括额外广告金、买量竞价加权、智能广告等。
给 Agent Skills 装上眼睛：MMSkills 用多模态技能包教会智能体看状态、做决策
上海交通大学和小红书团队推出面向通用视觉 Agent 的多模态技能框架 MMSkills，将可复用技能扩展为多模态程序性知识，通过 branch loading 调用视觉证据，在 GUI 与游戏任务评测中表现出色。
北大数学家终结50年猜想！一只蝴蝶翅膀，竟难倒菲尔兹奖得主
历时50年的「十杯马提尼猜想」被北大Lingrui Ge等学者证明。该猜想连接量子物理和数学，为解「霍夫施塔特蝴蝶」之谜。他们基于「全局理论」找到对偶方程，成果发表在arXiv，还攻克另外两个关键问题。
从美国能源部“创世纪计划”看 AI for Science：走向更完整的科学闭环与科研组织方式重构
近日，美国能源部公布“创世纪计划”首批入选资助谈判项目名单，反映AI for Science深刻演变，从理论探索走向实际应用，科研组织方式也在重构。本文从多维度拆解名单背后的战略布局与演进趋势。
扩散模型自引导新范式：直接交换token就能变强！ | CVPR‘26 Oral
上海交大和vivo研究者提出自交换引导（SSG），不依赖文本条件、不加噪声、不改模型，只交换token特征。在多数据集实验中，SSG表现超现有方法。不过，其缺理论支撑、计算开销大。