「AI推理加速」共找到 10974 篇相关文章
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
一个Bug改通宵！用AI写超50%代码，只有32%资深开发者敢这么干
Fastly对美国开发者做AI生产力调研，发现高级开发者用AI交付代码量是初学者2.5倍，也揭示AI编码隐形成本。高级开发者更信任AI，而初级开发者因经验不足更谨慎，同时调研还涉及绿色编码认知。
从上下文工程到 AI Memory，本质上都是在「拟合」人类的认知方式
文章结合胡塞尔现象学，探讨从上下文工程到AI Memory，指出它们本质在‘拟合’人类认知。介绍二者概念及构建方法，对比人类与AI记忆异同，还通过与胡塞尔对话，思考AI意识等哲学问题。
DeepSeek新模型意外曝光：AI Agent才是未来~
据彭博社消息，中国AI新星DeepSeek计划年底发布对标OpenAI的AI Agent，能自主执行多步任务、自我学习进化。国内Kimi、Qwen也有相关动作，还分享了72多种高效AI工具。
在参与OpenAI、Google、Amazon的50个AI项目后，他们总结出了大多数AI产品失败的原因
Aishwarya Naresh Reganti 和 Kiriti Badam 参与超50个企业级AI产品构建。他们指出，如今AI产品构建成本降低，但多数仍失败。还分享开发陷阱与路径，如从低自治高控制起步、建立CC/CD框架等，也对AI未来发表看法。
取消AI考核、零裁员！股价暴跌82%后，多邻国走出了一条反硅谷之路
多邻国曾是 AI 转型标杆，股价一度暴涨，但近一年暴跌 80%。创始人 Luis von Ahn 表示不裁员，曾将 AI 应用纳入考核又取消，分享员工用 AI 开发课程案例，还谈了 AI 局限、对行业影响及公司应对策略。
被“网暴”两个月后，Yann LeCun 携最新世界模型杀回！小扎千万美元激励抢人，Meta AI 内部权利之争开始
Meta推出新的“世界模型”V-JEPA 2，可提升AI物理推理能力。它是V-JEPA扩展版，在百万小时视频上训练，能让机器人完成任务。Meta还发布三项基准测试，且已开源。LeCun力挺，小扎为追进度亲自招人才。
对话光帆科技董红光：Manus 让 Agent 走红，但真正的 AI 载体不只有手机
本文是对光帆科技创始人董红光的专访，围绕AI时代的交互与硬件趋势展开。董红光认为AI最合适载体非手机，光帆发布全球首款视觉感知AI耳机，介绍了产品设计原理、操作系统研发等，并探讨了AI硬件市场现状与未来。
7B小模型超越DeepSeek-R1：模仿人类教师，弱模型也能教出强推理LLM | Transformer作者团队
Transformer作者之一创立的Sakana AI带来新方法，让教师模型像人类教师一样做启发式教学，根据已知解决方案输出解释。用此方法训练的7B小模型在传授推理技能上比671B的DeepSeek - R1更有效。
一口气集齐老黄苏妈英特尔，还得是AI，还得是联想
CES 2026上，各大厂商行动显示所有设备将成AI设备，有「物理AI」等新趋势。联想集团杨元庆提出混合AI是推动AI普及的终极路径，联想还发布相关产品，展现其在AI生态的优势。