「仓库级代码」共找到 2500 篇相关文章
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
这个开源项目 OpenStory，把 AI 短剧制作变成了一条可复制的工业流水线！
现在制作完整AI短剧流程繁琐，很多团队是小作坊式生产，效率低且难规模化。OpenStory开源项目站在成熟AI服务肩上，将AI短剧制作工业化，能把剧本变成风格统一的视频作品，解决诸多痛点。
史上最大IPO要来了
据英国《金融时报》，全球头部AI企业Anthropic最快10月上市，估值或达2万亿美元，将超SpaceX成史上最大IPO。其营收增长快，靠编程等企业级业务逆袭，还引得众多科技资本下注。
迈向长程智能体，人大高瓴发布149页全景综述
新问题出现，长程智能体研究应运而生。人大高瓴发布149页综述，梳理超900项研究，从多视角给出长程智能体统一定义、分类与路线图，分析难点，提出核心论点与发展路径等。
AI 是设计工具的顺风还是逆风？
在生成式AI影响下，Figma曾被视为「AI输家」，但2026年第一季度营收同比增长46%。其联合创始人兼CEO Dylan Field称，AI是业务扩张核心驱动力，强调设计价值在不可被AI标准化领域。
我去，程序员的福音啊？2.69 万 Star Maple Mono，真心不错，我已经用上啦～～～
介绍开源编程字体 Maple Mono，它将圆角、连字等多种特性融入一套字体，能提升代码可读性、优化符号表达等，解决了程序员高频痛点，但也有局限性，建议试用。
25.2K Star！OpenAI 官方开源的 Claude Code 插件，可直接调用 Codex 的审查能力！
OpenAI 官方发布全新插件 codex - plugin - cc，可让 Claude Code 和 Codex 在同一工作流协作，解决开发者在多工具间切换痛点。插件有工作流无缝衔接等亮点，提供 7 个核心命令，还给出快速上手步骤。
SFT「不完全学习」之后，研究的下一个前沿在哪？ACL 2026 腾讯混元论文未来方向展望
本文从不完全学习现象出发，展望SFT领域未来研究方向，如未知根因探索、检测方法改进等，还提及推广到其他训练范式、CPT精细化研究等，给出研究优先级和社区建议。
对话英韧科技刘刚：AI浪起，从芯到盘的存储马拉松与国产破局
2026年存储行业受AI驱动变革，存力成新“卡脖子”环节。英韧科技CEO刘刚在闪存峰会接受采访，谈及技术、市场与战略，展现企业在AI浪潮中的生存法则与战略取舍，如技术超前布局、“以模组促主控”等。
The Batch: 952 | GPT-5.5 性能领先，但幻觉问题突出
OpenAI 最新旗舰模型 GPT-5.5 是闭源视觉 - 语言模型，在重要基准测试中表现领先，但在区分已知未知内容上有困难，幻觉问题突出，在主观评估中落后于对手。