「程序理论」共找到 381 篇相关文章
你的 Harness 工作流真的在进步吗？我们用一场考试撕掉了遮羞布
文章指出Harness工作流常靠‘主观vibes’驱动，缺乏有效评价体系。为此推出Harness Eval评测系统，包含出题、答题、改卷等环节，形成闭环，帮助工作流持续改进，还能提升整体通过率。
Claude官方击穿高薪、高学历的安全防线！Anthropic点名10大高危职业，但有群人暂时稳了
近日，Anthropic发布研究，描绘AI正替代哪些工作。其构建“实际暴露度”指标，基于Claude对话数据测得。研究列出10大“高危”职业，也指出部分工作不受影响，还揭示高暴露群体特征及青年招聘情况。
Yann LeCun炮轰通用智能完全是BS！Demis Hassabis回怼：大错特错
Yann LeCun在采访中称世上无“通用智能”，认为该概念是胡扯。Demis Hassabis回怼，指出LeCun混淆概念，并从大脑特性、理论可行性及人类文明跨越三方面反驳。
北大校友、华人学者金驰新身份——普林斯顿大学终身副教授
华人学者金驰宣布在普林斯顿晋升为终身副教授，任命2026年1月16日生效。他在机器学习理论领域贡献大，为LLM崛起提供数学基石，解决非凸优化和强化学习样本效率等问题。
一键搞定双语播客的项目，效率+200%，太6了！
文章介绍开源项目Twocast，它是AI播客生成器，能模拟双人自然对话，3分钟产出一期播客。有双人对话、多输入、多语言等特色，提供两种安装方式，适合多类人群。
这个AI精准模拟人类行为大脑状态，上Nature了
德国团队开发出人类认知通用计算模型Centaur，登上Nature。它基于Llama 3.1 70B，用5天训练，参数仅Llama的0.15%，能模拟人类在160项实验中的行为，性能超传统模型。
告别盲选LLM！ICML 2025新研究解释大模型选择的「玄学」
弗吉尼亚理工大学研究团队提出 LensLLM 框架，基于 PAC - 贝叶斯泛化界限揭示 LLM 微调性能“双相演进”，可精准预测微调性能、大幅降低计算成本，为 LLM 选型提供新工具。
中科院自动化所孵化的矿山物理AI龙头，国家队与产业资本为何集体重仓｜甲子光年
2026年物理AI热度攀升，概念也趋于泛化，产业和资本更关注其实际价值。矿山场景或成Physical AI首个盈利点。中科慧拓由中科院自动化所孵化，其平行矿山方案已落地近50座国内矿山，并实现海外项目落地。
别再傻傻做视频啦！！！52.1k Star Remotion，把 React 组件变成视频生产线，强到离谱～～
Remotion是用React程序化创建视频的开源项目，可把视频元素写成组件按时间线组合后渲染。它适合有批量生产需求者，不过做真人vlog等传统剪辑软件更顺手，且使用有license限制。
沉痛悼念计算机科学家李未院士
2026年1月25日23时10分，著名计算机科学家、教育家李未院士因病在北京逝世，享年82岁。他是新中国第一位海归计算机博士，在多领域成果卓著，还推动北航向研究型大学转变，其离世是重大损失。