「开源软件」共找到 3450 篇相关文章
AI两天推翻20年工作习惯！Karpathy百行代码开源项目“封神”，AI替你通宵肝研究、战绩可查
特斯拉前AI总监Andrej Karpathy开源autoresearch项目，让AI Agent自主搞深度学习研究。两天内Agent完成276次实验，提升模型训练效率约11%。项目代码极简，未来目标是实现Agent大规模协作，已被开发者社区共建。
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
近日，普林斯顿大学牵头多机构推出开源数学定理证明模型 Goedel-Prover-V2。其 32B 旗舰模型在多基准测试超 DeepSeek-Prover-V2-671B，8B 小模型特定基准性能与之持平。该模型有三项关键创新，团队已公开模型及数据集。
阿里云容器服务覆盖AI全流程，团队透露：OpenAI训练GPT时就用了我们的开源能力
拿下中国AI云市场第一后，阿里云技术产品负责人开展AI Infra分享会。其全栈云计算搭好技术架子，10万GPU集群高效互联，容器服务贯穿AI全流程，还透露OpenAI训练GPT时用了其开源能力。
一周斩获8k星！港大开源AI学习助手，学练研全流程覆盖，教师也要失业了？
港大开源的DeepTutor是AI个性化学习助手，利用多智能体协作等技术，有文档问答、难题解析等四大核心功能，能构建专属知识库，提供全流程辅导，为学、练、研打造一体化平台。
罗福莉执掌小米大模型首秀！定调下一代模型，全新MiMo-V2开源还横扫Agent第一梯队
在2025小米人车家全生态合作伙伴大会上，罗福莉首秀解读全新大模型MiMo - V2 - Flash，该模型已开源，采用MoE架构和MTP技术，在多方面表现出色，罗福莉还阐述其设计逻辑与对下一代智能体的看法。
白嫖微软开源Web Agent，独立开发者的第二双手：自动刷网页、跑脚本、盯进度，全交给 Magentic-UI
Magentic-UI是微软开源的Web Agent界面，能控制浏览器、执行代码等，解决长流程、重复且让人不放心全交给AI的任务。它可视化操作，有可复用计划图库等亮点，使用体验好，适合特定开发者。
微软 CEO Satya：“传统的软件应用层正在瓦解，将逐渐被AI智能体（Agent）所取代”
微软CEO Satya Nadella称传统软件应用层正瓦解，将被AI智能体取代。微软布局‘AI智能体层’，让Microsoft 365成集成开发环境。他还号召SaaS企业成为数据源，专注数据API建设。
安谋科技“开源AIOS联盟”亮相WAIC2026：20+家产学研伙伴已锁定，协力布局AI产品“芯"基建
7月18日，安谋科技在2026世界人工智能大会宣布发起“开源AIOS联盟”，超20家生态伙伴入驻，涵盖产学研全链路。联盟围绕技术研发等发力，推动AIOS在新兴智能终端落地。
腾讯发布混元3D世界模型1.0：首个支持物理仿真的开源世界生成系统
在2025年世界人工智能大会上，腾讯发布混元3D世界模型1.0，它是首个开源且兼容传统CG管线的可漫游世界生成模型。可通过文图生成3D世界，支持编辑、仿真，有360°沉浸、工业兼容、原子级交互优势。
社区供稿丨35B参数科学性能比肩万亿参数模型，『书生』科学大模型Intern-S2-Preview开源
5月15日，上海AI实验室开源新一代大模型预览版Intern - S2 - Preview，参数35B，多领域比肩万亿参数模型。它深化与昇腾算力生态协同，探索‘通专融合’，强化科学及智能体能力，‘算法 - 系统 - 算力’协同提升训推效率。