「橙皮书专家」共找到 585 篇相关文章
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
增长密码：大型网站百万流量运营之道
本书深入探讨了大型网站SEO的底层逻辑，从系统能力、协作能力到创新能力，通过作者亲自操盘的成功案例，揭示了大型网站流量增长的秘诀。书中不仅分享了零成本获客的策略，还涵盖了被动式营销的要领，让读者能够快速掌握SEO的核心技巧。
没有生物学背景，靠ChatGPT和AlphaFold，他为爱犬定制了全球首支个性化癌症疫苗
澳大利亚程序员Conyngham的爱犬患癌，他无生物学背景，靠ChatGPT和AlphaFold分析数据，经多番尝试，让教授定制全球首支为狗设计的mRNA个性化癌症疫苗，部分肿瘤缩小一半。
SGLang原生支持昇腾，新模型一键拉起无需改代码
12月20日SGLang AI金融π对收官，聚焦大模型推理效率。昇腾成SGLang原生支持后端，助DeepSeek等模型免调参运行。SGLang给出推理系统工程解法，昇腾与SGLang深度共建，性能优且全面拥抱开源。
业界对 Agent 的最大误解：它能解决所有问题
业界认为AI Agent规模应用“拐点时刻”已至，但IBM强调不必过度“神化”AI。其推出watsonx Orchestrate，还指出企业应用AI要解决数据、自动化等问题，本质是业务重构，非炫技。
业界对 Agent 的最大误解：它能解决所有问题
业界认为 AI Agent 规模应用“拐点时刻”已至，但 IBM 强调不必过度“神化”AI。其推出 watsonx Orchestrate 解决方案，还指出企业落地 AI 要考虑数据、流程自动化等问题，强调回归业务本质看技术价值。
装了N个skills之后，鹅厂员工觉得“最香”的是哪一个？
文章围绕技能使用展开，介绍鹅厂员工推荐的各类实用技能，如腾讯文档 skill、westock - data、小区避坑神器等，还鼓励读者分享自己的宝藏 skill 或想法，关注有奖励。
Claude最新模型Mythos意外泄露，性能远超Opus
Anthropic内容管理系统配置失误，近3000个未发布资产泄露，Claude最新模型Mythos提前公开。它在软件编码、学术推理和网络安全等测试中远超Opus，网络安全能力尤其危险。2026年初Anthropic产品密集发布。
AI编程的下半场来了？学会用Agent Skill解决编程的痛点问题
文章分享用 Agent Skill 解决 AI Coding 痛点的实操复盘，如让代码上线、解决 AI 不用 Skill 问题。介绍 Skills 原理、CloudBase Skills 优势及与 MCP 组合，还给出实战案例、踩坑经验和未来规划。
AI编码工具变 “格式化神器”？Claude CLI半年频当“系统杀手”，多位开发者痛斥：心血都没了！
近日Reddit上一则对Claude CLI的控诉帖引发关注。一位开发者用其清理软件包时，整个Mac系统被清空。Claude自查称执行了含“~/”的灾难性命令。类似“删库”事故并非个例，开发者需强化安全意识。