「程序理论」共找到 394 篇相关文章
关键突破：理论验证了 RL for LLM 路线的可行性
传统RLHF依赖人工标注偏好数据训练奖励模型，成本高且难扩展。本文发现任何通过Next - token预测训练的LLM内部隐含通用奖励模型，从理论和实验证明其可高效实现模型对齐。
CSDN 创始人蒋涛：“码盲”消失，新程序员崛起
CSDN 创始人蒋涛在大会演讲指出，从传统互联网到 AI 是底层变迁，要翻越美国‘三座大山’实现从 Global AI 到 Local AI。他预言‘码盲’将消失，新程序员崛起，AI 还能重写硬件，中国机遇大。
Claude取得理论物理突破，只用了一句话+几千美元
本文报道Anthropic开发的Claude大模型，在近无人监督条件下，仅用一句任务描述和几千美元成本，算出理论物理前沿难题九圈六粒子散射振幅，刷新保持三年的八圈纪录，获原纪录创造者认可。
普通程序员怎样转到AI方向拿到更好的offer
在AI研究员拿天价offer的当下，探讨普通程序员转AI方向拿更好offer的方法，还介绍了AI生态的五个层次，包括各层岗位、年薪及容量。
Claude for Chrome来了！可作为浏览器扩展程序直接使用
Anthropic发布浏览器agent Claude for Chrome，可作Chrome扩展程序使用，能设日历、回邮件等。目前仅向1000名Max套餐用户开放，因使用浏览器的AI有安全挑战。AI浏览器成巨头争夺战场。
破解「个性化学习」长尾难题，巧用神经坍缩理论 | ICML 2025
当前个性化学习方法基于数据高质量且类别平衡的假设，但现实教育数据呈不均衡分布。华东师范大学和浙江大学团队在ICML2025提出NCAL方法，将神经坍缩理论引入该领域，解决教育数据长尾分布问题。
高阶程序，让AI从技术可行到商业可信的最后一公里
文章指出进入AI下半场，可靠性成关键。当前多种探索路径有局限，企业常用RAG、智能体框架等方案也各有问题。而高阶程序（HOP）是神经 - 符号思想的工程实践，能为AI构建可靠控制系统，已在金融等行业展现价值。
Meta提出数据筛选的理论：何时“少即是多”成立？
Meta针对机器学习领域‘少即是多’悖论提出理论框架，用高维统计等方法推导测试误差缩放定律，揭示数据筛选‘相变’条件，为实践提供指导，还重新定义‘数据效率’意义。
跳出「黑盒」，人大刘勇团队最新大语言模型理论与机理综述
大语言模型工程成功但理论研究滞后，被视为「黑盒」。人大刘勇团队用生命周期分类法，将LLM理论研究整合为六阶段，系统综述底层理论与机制，指出前沿挑战，为其向严谨科学转型提供路线图。
ICML 2025 Spotlight | 新理论框架解锁流匹配模型的引导生成
西湖大学冯睿骐、吴泰霖等针对流匹配模型能量引导算法难题，推导新理论框架，提出三大类实用算法，给出性能分析与比较，为流匹配引导采样及生成模型应用提供理论基础。