「程序理论」共找到 394 篇相关文章
突破万次连续编辑极限！中科院提出首个理论保稳的知识保留方法
中科院信工所研究人员提出LyapLock，将连续编辑建模为受约束随机规划问题，整合排队论和李雅普诺夫优化。实验显示，它能突破万次连续编辑极限，编辑效果比主流方法提升11.89%，还可赋能现有模型。
Claude code让程序员消失，Anthropic却说用AI编程会让你变傻
Anthropic科学家实验发现，新手过度依赖AI编程，概念理解、代码阅读和调试能力显著退化，效率未提升。研究识别六种AI使用模式，指出主动思考才是技能形成途径，应保留人脑训练的“摩擦力”。
再见，人类程序员！OpenAI自曝：一行代码都不写了，100%用Codex
OpenAI研究员Roon称Codex已接管其100%代码编写工作，内部爆料还显示Codex助力三天搭服务器、三周推APP。Codex CLI更新至0.9+，但AI代码审查成难题，开发者和非开发者面临不同挑战。
微软深夜送出程序员节最“离谱”的礼物：让Mico接管你的Copilot
2025年10月23日，微软发布“Copilot秋季发布版”，将Copilot升级为“情境AI基础设施”，更新12项关键功能，最瞩目是新增角色Mico。它能反映情绪，是微软人机交互探索的延续，引发网友讨论。
扩散语言模型真的会比自回归好？理论分析结果可能恰恰相反
北京大学和蚂蚁集团研究表明，扩散语言模型虽理论上有并行生成优势，但实践中在某些任务推理成本更高。研究通过实验对比，分析了扩散与自回归模型在不同评估指标下的效率，指出选择模型要视任务需求。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。
15亿美元AI独角兽崩塌，全是印度程序员冒充！微软亚马逊惨遭忽悠
Builder.ai自称用AI简化软件开发，吸引微软、软银等巨额投资，估值超15亿美元。但实际靠人工冒充AI，创始人虚报营收。丑闻曝光后投资被冻结，公司破产，引发AI交易技术尽职调查讨论。
程序员都在给AI当“监工”！7万多条编程消息揭开当前编程现状
圣母大学和范德堡大学研究团队剖析超7万条编程指令，揭示开发者与AI编程助手协作现状。开发者多当“监工”，工作从敲代码转向指导AI、诊断错误等，还总结出人机协同的诸多规律。
程序员岗位暴增11%，华尔街研报击碎失业恐慌：你的饭碗比想象安全
一份‘AI末日论’报告引发华尔街恐慌，软件股市值蒸发超2000亿美元。Citadel Securities报告反驳，用数据表明软件工程师招聘增11%，失业率仅4.28%，指出AI普及慢且有物理边界，不是就业末日，能对冲经济下行。
未来两年软件工程展望：从写代码到管 AI，程序员正分化成两种职业
软件行业处于转折点，AI编程发展，企业更重效率。文章探讨五个关键问题决定2026年软件工程走向，如初级开发者招聘或暴跌或反弹，开发者技能可能退化或更关键等。还为不同阶段开发者给出应对建议。