「沙箱运行时」共找到 1188 篇相关文章
大模型「越用越快」！SpeedupLLM首次验证，大降56%推理预算
Emory大学研究者提出SpeedupLLM框架，利用动态计算资源分配和记忆机制，使LLM处理相似任务时推理成本降56%、准确率提升，论文系统性验证了LLM“越用越快”，为AI模型发展提供新思路。
MIT：过度依赖ChatGPT会让大脑功能萎缩
MIT完成首个ChatGPT用户脑部扫描研究，发现AI没让我们高效，反而致大脑“认知破产”。研究追踪54人，监测脑电波和神经连接模式，发现过度依赖会让大脑功能萎缩，还探讨了如何正确使用AI。
AI大厦需要新的地基！
文章指出Scaling Law面临挑战，数据对AI愈发重要，数据库正从存储介质向AI运行的地基进化。OceanBase提出构建Data×AI能力，正从一体化数据库向一体化数据底座演进，全力拥抱AI。
OpenAI：GPT-5就是All in One，集成各种产品
OpenAI研究副总裁剧透GPT - 5将整合Codex、Operator等产品。团队分享Codex详情与未来计划，回应10大问题，如语言选择、运行方式等，还将推免费API积分，发布了Codex上手指南。
Hugging Face刚刚开源了一个MCP全面指南~
Hugging Face推出免费开源的MCP课程，涵盖从理论学习到实践应用的内容。介绍了无MCP时开发的复杂情况，以及使用MCP可降低集成复杂性和维护负担，还说明了MCP架构的组件。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
坚决不用行业标准AGENTS.md，Claude Code惹来“封杀令”：Anthropic终于回应了，但开发者更气了
当所有AI编程工具向行业标准靠拢时，Anthropic的Claude Code拒绝支持AGENTS.md格式，引发Shopify CEO公开威胁。开发者多次要求其支持该格式无果，Anthropic回应未让开发者满意，引发争议升级。
10.2k星！Firecrawl开源PDF解析神器，大幅降低OCR成本
处理PDF时，若全用OCR成本和延迟会增加，直接提取文本又易遇乱序、乱码等问题。Firecrawl开源的pdf - inspector工具能智能区分扫描版和文本版PDF，按需使用OCR，精准处理。
AMD终于有机会撬动CUDA了吗？
过去AMD GPU虽性能强但难敌英伟达CUDA生态。2024年有机构认为其缩小软件差距概率为0，但如今判断改变，AMD软件团队进步，客户回归，可它仍需解决软件集群稳定性和Helios量产问题。
正式开源！motion-anything：免费版 Figma Motion + 无水印动效视频工坊来了
Open Design团队开源motion-anything，这是一款开源动效引擎，让动效活在真实网页上，可随时编辑。自带庞大动效生态，支持多种触发和动法，有视频工坊且无水印导出，还解决了动效领域四大痛点。