「中国AI开源厂商」共找到 11433 篇相关文章
Screen Studio的开源免费替代品，自媒体必备的录屏神器，MIT协议可商用。
文章推荐开源屏幕录制工具OpenScreen，它是Screen Studio平替，虽未覆盖全部功能，但基础功能完善，支持双系统，有诸多实用功能，且遵循MIT协议可商用。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
阿里刚刚开源了一款影视级配音项目，口型同步、音色转换都不是事！
阿里通义实验室语音团队联合中科大发布多模态电影配音模型Fun - CineForge，开源模型并构建中文电视剧配音数据集。它能处理多种场景，有视频理解等亮点，还给出制作数据集步骤。
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
苦研10年无果，千万经费打水漂！AI黑箱依然无解，谷歌撕破脸
ChatGPT「舔狗化」暴露AI缺乏可解释性，谷歌和Anthropic就「机制可解释性」产生争论。谷歌DeepMind不再将其作研究重点，Anthropic则主张重视。十多年研究成果有限，或应采取「自上而下」研究方式。
3天狂揽23.1k星！把代码库变成知识图谱，AI编程成本降低35%
CodeGraph是开源本地代码知识图谱工具，提前为项目建索引，组织代码信息，让Agent直接查询。能减少token消耗与工具调用、提高响应速度，数据本地保存，还具备多语言支持等特点。
OpenAI推理第一人创业了：要造“活到老学到老”的AI，先来融它70个亿
OpenAI推理模型第一人Jerry Tworek离职不到一个月就创业，新公司Core Automation计划筹集10亿美元，要做具备「持续学习」能力的新型AI模型，解决主流模型‘训完就上线’、能力固定的问题。
X 推荐算法开源，暴力拆解推荐机制，这是内容创作者的终极流量增长秘籍。
马斯克兑现承诺，将X推荐算法开源。文章用通俗语言介绍其运作原理，把推荐系统比喻成两个‘内容买手’和一个‘裁判’，还给出内容评分标准、过滤机制及创作者提升流量的实战建议。
惊人的star数,Github 65000+, 揭秘 Strapi一个让你立刻入坑的开源项目！！！
Strapi是领先的开源Headless CMS，有超65000个GitHub Stars。它基于JavaScript/TypeScript，可让开发者灵活构建、定制API，让内容编辑轻松管理和发布内容，能解决诸多内容管理痛点。
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌用Gemini对700个Erdős猜想做攻关实验，推进13个问题。但他们指出，这并不意味着AI能自动做数学研究，其背后核验等成本远超想象，还需警惕‘潜意识抄袭’。