AIGC宇宙 AIGC宇宙

开源

Anthropic重磅开源！“电路追踪”工具解锁AI大脑，揭秘大模型决策全过程

Anthropic重磅开源！“电路追踪”工具解锁AI大脑，揭秘大模型决策全过程
近年来，大语言模型（LLM）的快速发展为人工智能领域带来了前所未有的突破，但其内部决策过程却常常被视为“黑盒子”，难以捉摸。 5月29日，AI研究领域的明星公司Anthropic发布了一项重大开源成果——“电路追踪”(Circuit Tracing)工具，为破解大模型的内部工作机制提供了全新视角。 这一工具不仅能帮助研究人员深入探索AI的“思考”过程，还为推动更透明、可控的AI发展迈出了重要一步。
5/30/2025 10:01:14 AM
AI在线
刚刚，新版DeepSeek-R1正式开源！直逼o3编程强到离谱，一手实测来了

刚刚，新版DeepSeek-R1正式开源！直逼o3编程强到离谱，一手实测来了
就在今天凌晨，新版DeepSeek-R1正式开源了！ DeepSeek-R1-0528模型权重已上传到HuggingFace，不过模型卡暂未更新。 项目地址：，DeepSeek-R1完成了超进化，编码能力强到离谱，而且思考时间更长了。
5/29/2025 9:04:51 AM
字节开源Dolphin，高精度文档图像解析大模型，创新先分析后解析新范式

字节开源Dolphin，高精度文档图像解析大模型，创新先分析后解析新范式
在数字时代，从扫描文档、图片等非结构化数据中高效、准确地提取结构化信息，是人工智能领域长期面临的挑战。 无论是复杂的表格、交织的文本段落，还是难以识别的数学公式，都对文档解析技术提出了严苛要求。 传统的解决方案往往依赖于多个专业模型的串联，不仅集成成本高昂，还容易在处理过程中累积误差 。
5/26/2025 4:46:38 PM
贝塔街的万事屋
OpenAI深夜开源HealthBench，60个国家合力开发5000段真实对话

OpenAI深夜开源HealthBench，60个国家合力开发5000段真实对话
今天凌晨1点30，OpenAI开源了一个专门面向医疗大模型的测试评估集——HealthBench。 与以往测试集不同的是，该测试集的5000段核心测试对话，全部由来自60个国家/地区的26个专业262名医生打造，极大增强了该测试集的难度、真实性以及丰富度。 并且采用了多轮对话测试，而不是简单的答题或选择题模式。
5/13/2025 9:08:00 AM
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频

Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。 在项目中，他开发了一个用于自动（或半自动）证明分析中估计值的框架。 估计值是 X≲Y（在渐近记法中表示 X=O (Y)）或 X≪Y（在渐近符号中表示 X=o (Y)）形式的不等式。
5/12/2025 9:05:00 AM
阿里巴巴开源 ZeroSearch 搜索引擎：训练成本大幅降低 80%

阿里巴巴开源 ZeroSearch 搜索引擎：训练成本大幅降低 80%
近日，阿里巴巴推出了一款名为 ZeroSearch 的开源创新大模型搜索引擎，这一新工具通过强化学习框架，极大地提高了搜索能力，并且在训练过程中不需要与真实搜索引擎互动。 ZeroSearch 的核心优势在于它能够利用大型预训练模型的知识，快速生成相关内容，并且可以动态控制生成内容的质量。 与传统的搜索引擎相比，ZeroSearch 的训练成本显著降低。
5/9/2025 9:00:59 AM
AI在线
DeepSeek-Prover-V2-671B 模型开源，数学推理领域迎来新突破

DeepSeek-Prover-V2-671B 模型开源，数学推理领域迎来新突破
中国 AI 初创公司 DeepSeek 再次掀起开源 AI 领域的热潮，正式发布其最新开源模型 DeepSeek-Prover-V2-671B。 这一拥有6710亿参数的超大规模语言模型，专为数学推理和问题解决设计，展现了 DeepSeek 在高效 AI 开发上的持续创新能力。 根据社交媒体上的最新讨论，这一模型被认为是 DeepSeek 在数学领域的重要里程碑，或将推动全球 AI 研究与应用的进一步发展。
4/30/2025 6:00:51 PM
AI在线
​Meta 召开首届 LlamaCon 大会，意在对抗 OpenAI

​Meta 召开首届 LlamaCon 大会，意在对抗 OpenAI
Meta 在其位于加州门洛帕克的总部举行了首届人工智能开发者大会 ——LlamaCon。 在此次大会上，Meta 推出了一款面向消费者的 AI 聊天机器人应用程序，并发布了一个开发者 API，允许用户在云端访问 Llama 模型。 这些新产品旨在扩大 Meta 开源 Llama AI 模型的采用率，但实际上，Meta 的真正动机可能是超越 OpenAI。
4/30/2025 11:00:50 AM
AI在线
微软发布全球首个1-bit大模型：内存缩至0.4 GB，参数只有0和±1，性能追平全精度

微软发布全球首个1-bit大模型：内存缩至0.4 GB，参数只有0和±1，性能追平全精度
微软的BitNet b1.58 2B4T 的技术报告悄然上线。 其实在开源社区里，关于极致低比特量化的大模型早就有各种传闻，这次微软研究院终于亮出底牌。 ——全球首个原生1-bit、规模高达20亿参数的开源大模型。
4/23/2025 12:11:40 PM
文摘菌
DeepSeek推理引擎开源新路径，助力vLLM生态再升级

DeepSeek推理引擎开源新路径，助力vLLM生态再升级
最近，DeepSeek 宣布了一项重要决定:将其自研的推理引擎进行开源，但并不会直接向公众开放完整的代码库。 相反，他们选择与现有的开源项目 vLLM 合作，致力于分享核心的优化成果。 这一举动旨在解决开源社区中普遍存在的代码库分歧、基础设施依赖及维护资源有限等难题。
4/16/2025 2:01:15 PM
AI在线
奥特曼：ChatGPT不是AGI！OpenAI最强开源模型直击DeepSeek

奥特曼：ChatGPT不是AGI！OpenAI最强开源模型直击DeepSeek
近了，近了！ 全网多个流出的代码截图显示，满血版o3、o4-mini，以及o4-mini high，有极大概率在下周发布。 不仅如此，在OpenRouter平台上，一款神秘模型Optimus Alpha（ELO得分1387）直接霸榜，据称就是o4-mini。
4/14/2025 9:17:00 AM
新智元
OpenAI史上最硬核技术播客！系统揭秘GPT4.5诞生，已进入数据受限时代！小哥亲述大模型修bug血泪史；还有一个重磅开源消息

OpenAI史上最硬核技术播客！系统揭秘GPT4.5诞生，已进入数据受限时代！小哥亲述大模型修bug血泪史；还有一个重磅开源消息
整理 | 伊风出品 | 51CTO技术栈（微信号：blog51cto）刚刚，奥特曼亲自预热的那期播客，完整版视频终于上线啦！ ！ ！
4/11/2025 1:41:19 PM
伊风
大模型“自动修 bug”能力将提升，豆包团队开源首个多语言代码修复基准 Multi-SWE-bench

大模型“自动修 bug”能力将提升，豆包团队开源首个多语言代码修复基准 Multi-SWE-bench
4 月 10 日消息，豆包大模型团队今日通过官方公众号宣布，首个多语言类 SWE 数据集 Multi-SWE-bench 现已正式开源，可用于评估和提升大模型“自动修 Bug”能力。 在 SWE-bench 基础上，Multi-SWE-bench 首次覆盖 Python 之外的 7 种主流编程语言，是真正面向“全栈工程”的评测基准。 其数据均来自 GitHub issue，历时近一年构建，以尽可能准确测评和提高大模型高阶编程智能水平。
4/10/2025 2:30:12 PM
清源
一文读懂开源 Llama 4 模型

一文读懂开源 Llama 4 模型
Hello folks，我是 Luga，今天我们来聊一下人工智能领域的最新大模型技术进展 - 构建高效、灵活、以及开源的的大模型 - Llama 4 。 在人工智能领域，随着技术的不断进步，越来越多的强大语言模型应运而生。 Llama 4 作为 Meta 推出的最新一代大规模语言模型，凭借其卓越的性能和创新的架构设计，成为了当前 AI 领域的焦点之一。
4/7/2025 8:40:00 AM
Luga Lee
大模型RL不止数学代码！7B奖励模型搞定医学法律经济全学科， 不用思维链也能做题

大模型RL不止数学代码！7B奖励模型搞定医学法律经济全学科， 不用思维链也能做题
一个7B奖励模型搞定全学科，大模型强化学习不止数学和代码。 o1/r1的强化学习很强，但主要探索了数学和代码领域，因为这两个领域的数据结构化程度高，奖励函数/奖励模型比较好设计。 那么，想提升大模型在其他学科领域的能力该怎么办？
4/3/2025 9:23:08 AM
量子位
DeepSeek-V3击败R1开源登顶！杭州黑马撼动硅谷AI霸主，抹去1万亿市值神话

DeepSeek-V3击败R1开源登顶！杭州黑马撼动硅谷AI霸主，抹去1万亿市值神话
DeepSeek依然很能打，春节余波还在扩散！ 据AI产品分析平台aitools.xyz统计，DeepSeek每月新增网站访问量超过了ChatGPT。 作为异军突起的现象级产品，DeepSeek的增长速度除了创造AI产品的增长奇迹，更是重新定义了全球的AI竞赛格局。
4/2/2025 9:21:00 AM
新智元
OpenAI要Open了！奥特曼开源首个推理模型，ChatGPT一小时暴增百万用户

OpenAI要Open了！奥特曼开源首个推理模型，ChatGPT一小时暴增百万用户
OpenAI终于要Open AI了！ 一大早，奥特曼郑重官宣，「未来几个月，将开源一款强大的推理模型」。 这是自GPT-2以来，OpenAI首个开源的模型。
4/1/2025 9:46:08 AM
新智元
开源版Suno来了！AI音乐生成模型YuE可生成专业级的歌声和伴奏

开源版Suno来了！AI音乐生成模型YuE可生成专业级的歌声和伴奏
近日，由香港科技大学与音乐领域的 DeepSeek 合作开发的开源音乐生成模型 YuE 正式发布，震惊了不少乐迷和音乐创作者。 这一模型不仅能够生成多种风格的音乐，还可以模拟人声，给听众带来全新的音乐体验。 YuE 的特点在于其双 LLaMA 语言模型架构，这使其能够无缝适配各种大语言模型，并且能够处理长达5分钟的完整歌曲。
3/28/2025 3:06:00 PM
AI在线