「程序理论」共找到 394 篇相关文章
GPT-6来了，立摘ASI坐标系今日金牌！
OpenAI 正式发布 GPT - 6 Astra，在多项测试中表现优异。近期 Anthropic、谷歌也有新模型发布。马斯克、Altman 对 AI 发表看法。新智元决定做 ASI 坐标系，相关官网 9 月 7 日上线，现征集需求。
WorkBuddy上线远程控制，国内也有了最丝滑的Agent工作方式。
WorkBuddy更新远程控制功能，因国内直连，体验比Codex还好。其打通PC、App和小程序，实时同步电脑内容。还新增资料库等实用功能，让国内用户有更丝滑的Agent工作方式。
AI Infra进阶：如何让大模型输出确定的结果
文章探讨大模型输出确定性结果的问题。指推理引擎底层动态组批与算子调度策略，因浮点加法顺序变化使结果波动。还分析GEMM、RMSNorm等算子影响，给出vLLM实现Batch Invariance的方法。
可复制的 AI Coding 全栈实战：比 OpenSpec 更轻量、更丝滑
本文整理自淘宝闪购邓立山在 QCon2026 北京站演讲，分享其团队一年多 AI 编码全栈实战经验，分析 AI 编码问题，提出解决方案，介绍方案演进、实战案例及推广情况，还探讨了未来演进方向。
为什么最有价值的AI讨论总发生在知乎？
AI成全民话题，但网上多是热点复述，真正有价值的理解和方法论沉淀在知乎。知乎答主toyama nao、德里克文、Jeff Tao陶建辉分别作为记录者、探索者和建设者，在AI领域深度探索，推动认知沉淀。
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
AI进军数学界速度惊人，谷歌DeepMind发布由Gemini驱动的AlphaProof Nexus框架，解决9个埃尔德什开放问题，还证明44个猜想、搞定代数几何难题、改进凸优化理论边界，推理成本低且代码开源。
Anthropic 调整 Claude 额度；黄仁勋最后登访华机；GPT-5.6加速来袭；李彦宏提出AI新指标DAA
2026年5月14日AI资讯日报涵盖多领域动态。新闻有Meta田渊栋创业、黄仁勋访华等；产品应用涉及Hermes Agent、百度秒哒3.0等；推荐文章含腾讯程序员构建执行环境等观点。
拒绝Vibe Coding！大神揭秘8套AI编程模式
Datasette创始人Simon Willison公开指南，教专业开发者用Claude Code等AI编程工具提效，总结8大实战模式重构程序员工作方式。还提出认知债务概念，Hacker News对此有不同观点。
刚刚，Gemini攻克「宇宙弦」终极难题！AI科学家最优雅解法震撼物理学
Google Research团队用Gemini Deep Think + 树搜索框架，攻克理论物理领域宇宙弦引力辐射功率谱精确解析解难题。AI探索600条候选路径，找出6种解法，最优雅的格根鲍尔方法让物理学家拍案叫绝。
陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的
陶哲轩在 SAIR 基金会活动演讲指出，数学领域工作方式正被新技术撬动。数学保守、协作难，而形式验证是关键。他主导项目用三个月解决 2200 万代数题，还探讨了 AI 在数学中的应用，认为它应做大蛋糕。