DeepSeek有了属于自己的“Claude Code”工具，Deep Code开源 AI 编程助手上线
IT之家 7 月 6 日消息，DeepSeek 官方 API 文档日前收录了一款名为 Deep Code 的开源终端 AI 编程助手。 该工具宣称 专为 DeepSeek-V4 系列模型适配 ，支持深度思考、推理强度控制以及 Agent Skills。 IT之家查询获悉，该工具早...
最近有哪些产品和公司在密集发生“开源”
今日资讯 开源
想看最近哪些产品、模型和公司在集中出现“开源”相关动作，这一页会更省时间。
相比泛资讯流，这里更适合直接跟踪这类事件本身的最新变化。
开源资讯
885
正文图片
3,785
烧了10亿Token，我做了一个Markdown编辑器，开源免费
大家好，我是冷逸。 先说个判断：AI时代，Markdown已经成为AI的第一语言。 从ChatGPT 3.5那会儿写提示词，到现在的各种Agent设定、Skill构建，你会发现，几乎所有AI的活儿，最后都落在一个个.md文件上。 对人来说，它易读易写；对AI来说，它结构清晰、解析...
暂无图片
美团万亿参数大模型 LongCat-2.0 开源，同步开放国产卡推理代码
IT之家 7 月 6 日消息，今天，美团将万亿参数大模型 LongCat-2.0 正式开源。 据介绍，LongCat-2.0 总参数 1.6T，平均激活约 48B，为真实的 Agentic Coding 任务而生，架构上创新性引入 LongCat 稀疏注意力和 N-gram Em...
暂无图片
面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型
IT之家 7 月 6 日消息，欧洲人工智能企业 Mistral AI 当地时间本月 2 日宣布推出 面向数学形式化证明程序语言 Lean 4 的 Leanstral 1.5 模型 。该模型总共拥有 119B 参数，激活 6B 参数，以 Apache-2.0 许可开源。 Mistr...
腾讯混元Hy3发布并开源，接入元宝，Agent能力全免费
本文来自微信公众号： 智东西 ，作者：王涵 江宇，编辑：李水青，原文标题：《腾讯混元Hy3发布并开源！接入元宝，Agent能力全免费》 智东西7月6日报道，刚刚，腾讯混元Hy3正式版发布并开源！元宝第一时间接入并同步上线Agent能力，日常对话就能完成复杂任务，直接交付可用文件，...
Mistral AI开源数学证明利器：119B参数只激活6B，解题成本仅为竞品百分之一
欧洲人工智能企业Mistral AI近日正式推出面向数学形式化证明的专用模型Leanstral 1.5。该模型专为Lean4 程序语言打造，总参数规模达119B，但实际推理时仅激活6B参数，以极低的计算开销实现了惊人的证明能力，并以Apache-2. 0 许可完全开源。 在核心基...
降低数学科研门槛：Mistral AI 发布开源模型 Leanstral 1.5
近日， Mistral AI 正式发布了专为数学形式化证明语言 Lean4设计的开源模型 —— Leanstral1.5。该模型采用 Apache-2.0许可协议，以119B 的参数总量及6B 的激活参数，在兼顾高性能的同时大幅优化了使用成本。 作为一款专注于数学推理的智能工具，...
当美国AI泡沫破裂时，中国权益市场准备好了吗？
本文来自微信公众号： 科工力量 ，作者：科工力量 6月25日，中国战略思想库闭门会上，厦门大学教授赵燕菁以一张“宏观资产负债表”重新框定了中国经济困境的诊断逻辑：约束端不在资产（劳动与产能），而在债务（资本与权益）。 在这一框架下，他提出了一个极具冲击力的判断——中国不必在AI赛...
登顶多项全球 SOTA！大晓全开源首个「统一具身基模型」ACE-Brain-0.5
近日，大晓机器人正式开源新一代统一具身基模型 ACE-Brain-0.5，面向 Physical Agentic AI 这一新范式，推动具身智能走向真实物理世界中的自主执行。Physical Agentic AI 指能在真实物理世界中围绕目标自主感知环境、理解任务、规划、行动，并...
腾讯混元 Hy3 正式版发布并开源：推理与 Agent 能力大幅跃升，实测优于 GLM-5.1
ITCOW牛新网 7月6日消息，腾讯混元大模型团队今日宣布发布并开源混元 Hy3（Hunyuan Hy3）模型。相较今年4月推出的 preview 预览版，正式版在修复各类体验问题的同时，进一步扩大了强化学习（RL）算力规模、提升了后训练数据的质量与多样性，在推理、智能体（Age...
Leanstral 1.5开源发布，强化形式化验证与代码审查能力
品玩7月6日讯，据 Mistral AI 官方消息，Leanstral 1.5模型现已正式发布，该模型基于Apache-2.0协议开源，总参数量达1190亿，激活参数仅为60亿。 新版本在数学证明基准测试中表现卓越，不仅完全覆盖miniF2F测试集，更在PutnamBench中成...
AI有了“办公神器”：开源OfficeCLI让智能体自主驾驭文档
近日，一款名为OfficeCLI的开源工具横空出世，被业界视为打通了AI操作办公软件的“最后一公里”。 OfficeCLI是全球首款专为AI智能体量身定制的Office套件。它最大的技术亮点在于内置了一套高保真HTML渲染引擎。这套引擎相当于赋予了AI一双“眼睛”，能够将复杂的....
跨越安全红线后重启：Anthropic Fable 5全面接入GitHub Copilot，押注长周期自主编程
在经历严格的安全审查与短暂下架后，Anthropic 正重新将其前沿 AI 能力推向开发者市场，试图在技术突破与安全合规之间找到商业化平衡。 Fable 5全球复活 Anthropic官宣Fable 5全球回归，7月7日前即便是Max和Team套餐，Fable 5... 美东时间...
2026-07-04 15:02
《自然-生物技术》新文上线︱高小井/Brian L. Hie/Luis S. Mille-Fragoso 团队开发开源端到端AI抗体生成框架Germinal
研究背景 抗体是基础研究、诊断和药物开发中最重要的工具之一。而传统获得抗体的方法通常仍依赖动物免疫或大规模文库筛选，实验周期长、筛选规模大，且未必能获得所期望表位的分子。近年来，人工智能驱动的计算设计虽带来曙光，但往往成功率低。如何同时实现表位特异性、具有抗体特征的序列、合理结构...
傻瓜式Loop教程来了：一行命令直接上手，GitHub狂揽4.5k Star
鹭羽 发自 凹非寺 量子位 | 公众号 QbitAI 朋友，听说你还不会搭不会用 Loop ？ 别慌！现在直接来抄作业！ 有位大神直接在GitHub开源了整套Loop Engineering框架，目前已累计收获 4.5k Star 。 Loop是最近爆火的概念，简单解释就是不用再...
一句话生图要过时了？开源图像生成Agent进化出「工具编排」
图像生成正在从「一句话生成一张图」，走向更接近真实创作流程的开放任务。 在实际使用中，用户常常不只是给出一个 prompt：他可能要求画面对齐某个地标、人物、商品或事件，也可能要求参考图身份一致、材质特殊、或者要求模糊的描述也能表达清楚。面对这些需求，单靠生成模型一次前向推理很难...