⌘ K
… 读取采集状态 同步中...
雷

#开源生态

今日 1 条
今天10月13日周二
10月12日周一
  1. 极客公园67

    模思智能获超10亿元Pre-A轮融资,专注全模态实时交互与情境智能

    模思智能于10月12日宣布完成超10亿元Pre-A轮融资,由华控基金领投,距天使轮官宣约半年。该公司由复旦大学邱锡鹏团队孵化,核心在于构建能持续理解并实时响应物理世界的全模态交互系统。

    推荐理由:文章披露了模思智能超10亿Pre-A轮融资,并展示其通过自研模型互训解决语音视觉实时交互痛点的方法。

  2. APPSO75

    开源项目 REA 走红:AI 逆向工程冲击软件商业护城河

    开源项目 REA 凭借 11 万 Star 数备受关注,开发者利用该工具配合 Agent 分析软件安装包或运行结果,并重建功能逻辑。《光环:战斗进化》等游戏已出现基于反编译成果的网页移植版本,而日常办公工具 VibeOffice 也实现了在浏览器中编辑 Office 文件。这些实践通过新旧版本对照测试验证有效性,引发了对软件厂商竞争优势及未来价格竞争的重新审视。

    推荐理由:通过开源工具 REA 及《光环》等游戏案例,揭示 AI 逆向技术如何降低软件复刻门槛并冲击原有商业护城河。

  3. 新智元83

    AI辅助形式化验证瑟斯顿几何化猜想,470万行代码开源

    由Ayush Khaitan领导的团队联合NVIDIA,完成了瑟斯顿几何化猜想的完整Lean形式化,总计470万行代码,其中新增270万行在约两周内编写完成。该成果已开源至GitHub仓库differential-geometry,标志着AI辅助形式化数学进入高阶几何分析领域。

    推荐理由:470万行Lean代码两周完成,展示了AI与人类数学家协作验证高阶几何猜想的工业化流程。

  4. 量子位56

    新研究提出推理时直接隐状态对齐方法DHSA,256-16384个控制参数达DPO水准

    成都大学等团队提出直接隐状态对齐(DHSA),通过在推理时直接控制隐状态来实现偏好对齐,而非修改基座权重。 其核心是残差竞争图(RCM)用于定位偏好相关组件,结合因果激活状态转移(CAST)仅更新少量控制参数(256至16384个),在GPT-J、Llama-3等模型上达到与DPO相竞争的对齐水平,且支持在prefill阶段单独干预。

  5. 硅星人Pro44

    “去你的AI应用梦吧”:巨头碾压下的应用层创业者困境与突围路径

    AI应用层创业者在巨头竞争中陷入焦虑,部分团队放弃独立入口,转为将能力接入Codex、Claude Code等Agent生态。Harvey接入Claude插件市场后拥有超20万名律师用户,验证了插件形态的增长潜力;但Opendesign等团队认为插件易被模型厂商原生集成,难以摆脱应用公司的生存危机。

10月11日周日
  1. 量子位 QbitAI56

    陶哲轩:数学2.0时代已至

    陶哲轩发文称AI正让数学证明变得泛滥,建立在证明稀缺之上的数学1.0时代即将落幕。他认为AI虽能快速生成解答,但人类仍需承担判断正确性、解释结果和推动共同体理解的工作,否则会造成理解与成果脱节。

  2. 量子位 QbitAI45

    GPT-4o 最早 API 快照即将停用,粉丝持续呼吁存档权重

    OpenAI 将于 10 月 23 日停用 GPT-4o 最早的 API 快照(2024-05-13 版)。尽管该模型已于今年 2 月从 ChatGPT 下架,粉丝仍在 X 趋势页发起“存档式开放权重”行动,呼吁 OpenAI 公布已训练好的模型权重而非完整训练数据。目前相关请愿书已获 23930 人签名,最早版本停用后,后续 API 版本仍将可用。

  3. APPSO68

    AI「克隆」的 Adobe 全家桶一夜爆火,但先别急着卸载正版

    开发者 Brandon Thomas 借助 AI 开源了七款 Adobe 平替软件,引发热潮但功能远未达到成熟水平。PhotoCraft 等工具能打开基础文件,但在处理复杂 PSD、智能滤镜和视频渲染等核心工作流时,仍面临大量 bug 且性能不足,目前无法替代 Adobe 几十年的技术积累。

    推荐理由:文章通过对比开源平替的基础功能与成熟软件的复杂工作流,解释了 AI 编码如何改变软件开发中感知完成度的方式。

  4. 特工宇宙78

    Hypit 开源:为 Agent 创造视频语言 SVML

    开源视频复刻工具 Hypit 推出 SVML(语义视频标记语言),将视频转化为可编译源码以支持 AI 修改。SVML 使用台词作为时间轴避免硬编码,实现素材分离以便复用与批量生成变体。Hypit 开源十天获得约 16000 个 GitHub Star,并接入 TokenPay 服务。

    推荐理由:作者拆解了 Hypit 底层 SVML 语言如何将视频转化为可编译源码,解释了复刻背后的架构逻辑与迭代效率。

  5. Hugging Face Blog44

    Ai2 通过预算制取代优先级调度,解决 GPU 集群高影响研究资源分配难题

    Ai2 用包含 GPU 时间预算、层级公平分配和时间切片契约的调度系统取代了优先级调度,将资源分配转化为透明的行政预算流程。该方案管理数千块 NVIDIA H100、B200 和 B300 GPU,旨在解决因用户独占资源导致的低效问题,使高影响力研究工作负载获得优先资源分配,同时保持集群高占用率。

  6. AI HOT91

    OpenAI一次性发布700多份数学手稿,数学家们反应震惊与反感

    OpenAI于2026年10月6日在GitHub一次性发布700多份手稿,声称解决了数百个未解决的数学问题。数学博客Proofs and Prompts收集了100多位研究者的回应,菲尔兹奖得主Peter Scholze和Terence Tao等人表达了复杂感受,部分研究者担忧职业未来,另一些人则对AI在数学领域的能力感到震惊。

    推荐理由:文章汇总了百余位数学家对OpenAI发布700多份手稿的回应,呈现了从震惊到担忧职业未来的多种立场。

  7. TechCrunch · AI51

    a16z 合伙人在访谈中分析消费级 AI 市场现状

    a16z 合伙人 Olivia Moore 在访谈中指出,消费级 AI 的商业模式正从单纯的订阅和 API 计费向广告变现及免费模式转变,以解决目前仅 2.2% 的美国家庭为 AI 支付费用的困境。随着技术门槛降低,基于开源或轻量级模型的应用正在增加,而社交、医疗和零售等消费领域尚未被主流 AI 产品覆盖,存在大量市场空白。

  8. MarkTechPost79

    千问(Qwen)发布 Qwen-Image-2.1-Turbo 8步加速图像模型

    阿里千问(Qwen)团队发布 Qwen-Image-2.1-Turbo,该模型基于 7B 架构,将默认去噪步数从 40 步压缩至 8 步。模型支持 2K 分辨率生成与多参考图编辑,并输出带透明通道的 RGBA 图像,使用 Qwen Research License。

    推荐理由:原文拆解了8步加速机制与API定价,读者可评估其在同架构下的部署成本与效果边界。

  9. InfoQ CN50

    AI 开源生态如何从代码开放转向能力复用

    AI 开源核心价值正从“开放了什么”转向“开放能力能否被验证、复用”。2026 年世界人工智能开源大赛(GOAI)覆盖 91 个国家,吸引超 1.4 万名开发者,重点考察多 Agent 协作与状态传递。Linux Foundation 成立 Agentic AI Foundation,将 MCP 等项目纳入开放体系,推动模块化协作与公共技术层建设,以解决组件耦合与环境复现难题。

10月9日周五
  1. Sac60

    阶跃星辰发布旗舰基座模型 Step 5 Preview,支持 1M Token 上下文,主打 AI 编程和 Agent 任务闭环。作者通过参考图提示词,使用 Claude Code 测试该模型,成功用 Three.js 生成了可交互的 3D 佩尼达岛场景,效果接近 Claude Opus 5.5 且成本更低。

    引用StepFun@StepFun_ai

    Step 5 Preview is now on @OpenRouter's New & Trending leaderboard. Thanks to everyone giving it a try, and to our partners bringing it into your workflow.

  2. 量子位 QbitAI47

    openJiuwen 发布并开源企业级 AgentOS

    openJiuwen 发布并开源企业级 AgentOS,集成多智能体协同、自演进及算力亲和能力。该架构支持通过 Agentic Hub 共享技能、连接器等五类资产。基于此底座,华为在 HC2026 发布一体机开源 Agent 加速平台,支持小时级企业私有化部署。

  3. AI HOT82

    Anthropic 推出开源漏洞扫描服务 OSS Scanner

    Anthropic 发布面向开源项目的可选加入漏洞扫描服务 OSS Scanner,免费使用 Claude Mythos 等模型生成未经人工复核的安全报告。过去六个月扫描发现 29,000 多个候选漏洞,维护者反馈中 74 份报告除 2 份外均有效且 5 份转为 CVE,85 个严重高危发现中 88% 达到人工验证标准。符合条件的项目核心维护者可通过提交 GitHub PR 注册参与。

    推荐理由:原文提供了扫描准确率数据、人工验证对比及维护者真实反馈,帮助评估该免费开源漏洞扫描服务的实际信号质量与参与门槛。