「程序理论」共找到 394 篇相关文章
Claude 4破解困扰人类4年系统bug，30年码龄程序员200小时没搞定，GPT-4.1/Gemini-2.5也做不到
30年码龄程序员4年没搞定的顽固型‘白鲸bug’，Claude Opus 4配合Code模式，用30个prompt+1次重启，几小时就破解。此前GPT - 4.1等模型都失败，凸显Claude编程与推理能力强。
快手遇P0级安全事故，市值蒸发近百亿；字节120名员工因触犯红线被辞退；Karpathy自曝“作为程序员从未感到如此落后”，引爆焦虑｜AI周报
本周AI界热点不断，Karpathy推文引科技圈焦虑；快手遇安全事故市值蒸发近百亿；京东员工年终奖优厚；字节辞退120名违规员工；还有英伟达重组云团队、微软纳德拉抓AI产品等消息。
50年僵局打破！MIT最新证明：对于算法少量内存胜过大量时间
MIT理论计算机科学家Ryan Williams最新研究建立数学程序，将任意算法转化为占用空间更少的形式，证明少量计算内存比大量计算时间更有价值，打破计算机科学家近50年认知。
已证实！清华姚班陈立杰全职加入OpenAI，保留伯克利教职
据机器之心求证，清华「姚班」校友、伯克利助理教授陈立杰已全职加入 OpenAI 开展研究，同时保留伯克利教职。他是理论计算机科学顶尖青年学者，学术成就卓越。
Energy | 西工大史子颉、高传强等：三维风力机叶片动态失速数据融合建模研究
动态失速威胁风力机叶片安全与发电效率，传统模型有局限。西工大团队开发数据融合神经网络与动量叶素理论耦合框架，能高效高精度预示三维叶片动态失速，虽部分工况有偏差，但预测精度显著提升。
用 Codex 拯救我的 Mac
作者从2008年开始用Mac办公研发，历经系统更迭未重装。现因系统更新，不少程序是Intel版，用Rosetta 2转接，很混乱。介绍用Codex清理开发环境、更换M芯片版本Homebrew的方法。
AI终于学会「读懂人心」，带飞DeepSeek R1，OpenAI o3等模型
威斯康星大学麦迪逊分校联合清华的研究《MetaMind: Modeling Human Social Thoughts with Metacognitive Multi-Agent Systems》，将元认知理论融入LLM架构，使模型在心智理论测试达人类平均水平，揭示构建社交智能AI方法论。
Anthropic发布AI就业冲击报告，数据让人意外
Anthropic发布AI对劳动力市场影响的报告，基于真实数据和理论智能分析。提出“观察暴露度”新指标，揭示AI理论能力与实际应用差距大，还给出高危职业排行，分析受影响人群、安全职业等。
2026年，前端、后端、客户端程序员的职业生涯，该推倒重来了
文章指出AI重塑软件行业价值链，多数程序员工作集中在易被AI替代的实现层和维护层。前端、后端、客户端面临不同冲击及转型路径，还给出转型框架和建议，提醒程序员主动转型。
从Prompt到Context：为什么Think Tool是形式化的必然？
文章从编译原理视角，为AI工程实践提供理论根基。分析了Prompt和Context Engineering的形式化程度，介绍Anthropic的Think Tool，指出其优势及对CoT的超越，还提及未来需为Agent System发展全面形式化理论。