AI行业资讯

Heooo AI资讯频道，每日更新AI行业动态、技术进展、商业资讯。汇聚全球人工智能前沿信息，助您掌握AI发展趋势，做出智能决策。

OpenAI开源Codex Security CLI，将安全审查嵌入CI流程

OpenAI推出开源命令行工具Codex Security CLI，旨在帮助开发者在持续集成与持续交付（CI/CD）流水线中自动扫描代码仓库、发现并验证安全漏洞。该工具支持本地扫描、跨运行周期追踪，并提供TypeScript SDK接口，可无缝集成到开发流程中。目前为早期版本，已在GitHub上开源，要求Node.js 22+和Python 3.10+环境，支持API密钥或ChatGPT账号登录。

# 开源项目Heooo AI工具导航07月29日20时34分 37

形式化验证3D CSG：93行规范胜过千行AI代码

一项开创性项目首次实现了3D构造实体几何（CSG）操作的形式化验证——使用Lean 4验证了网格相交算法的正确性。项目仅需人类审查93行形式化规范，而AI自主编写了超过6万行证明代码，通过Lean检查器确保实现与规范一致，无需信任任何大语言模型。尽管性能远低于传统实现（相交两个7万三角形斯坦福兔子需24秒），但该项目优先保障人类对正确性的审查最小化，展示了形式化验证在AI生成代码可信度问题上的解决方案。

# 开源项目Heooo AI工具导航07月28日22时00分 35

开源日志降噪工具助力LLM高效分析

开源项目ctrlb-decompose发布，可将百万级嘈杂日志压缩为数十个结构化模式，实现99.9%的压缩率。该工具通过两阶段归一化与聚类流水线，提取变量类型、分位数统计、异常标记和严重性评分，支持CLI、WASM浏览器运行及Rust库集成。其输出格式适配人类阅读、LLM提示和JSON，显著提升日志分析的效率与可操作性。

# 开源项目Heooo AI工具导航07月28日22时00分 41

开源工具一键导出ChatGPT企业账户聊天记录

针对ChatGPT企业版和团队版缺少数据导出功能的痛点，开发者Conradqh在GitHub上发布了开源工具scrapemychats。该工具通过本地Chrome浏览器驱动用户已登录的会话，自动导出所有对话文本及附件，并生成可离线搜索的HTML存档。整个过程数据不离开用户电脑，无需编程基础，约20分钟即可完成设置。工具还支持个人账户，为AI用户提供了便捷的数据备份方案。

# 开源项目Heooo AI工具导航07月24日01时03分 49

Bento/Slides：单个HTML文件实现完整PPT功能

Bento/Slides 是一款创新工具，能将整个PowerPoint演示文稿压缩到单个HTML文件中，集编辑、查看、数据与协作功能于一体。它基于Web技术构建，无需安装任何软件，用户通过浏览器即可创建和分享幻灯片。该工具支持实时协作编辑，内置图表、表格等数据可视化组件，并允许导出为标准HTML文件。Bento/Slides 的轻量化设计大幅降低了演示文稿的制作与分发门槛，尤其适合开发者、技术团队和需要快速共享内容的场景。其开源特性也吸引了社区关注，在Hacker News上引发热议。

# 开源项目Heooo AI工具导航07月23日00时29分 71

Rust构建自主太空经济模拟器开源

开发者Kalcode在Hacker News上发布了名为“Space Project”的开源项目，这是一个用Rust和Bevy引擎构建的自主太空经济模拟器。数百艘AI飞船在无玩家干预下自主进行贸易、采矿、运输，甚至可能破产。模拟器采用GOAP规划器驱动每个智能体，市场根据供需动态定价，派系征税补贴，人口迁移。项目从Elixir/Phoenix原型重写为Rust，模拟核心与渲染共享ECS世界，当前支持约485个活体智能体，架构设计目标为10万+。代码以MIT许可证发布，鼓励开发者自由使用、修改或嵌入其他项目。

# 开源项目Heooo AI工具导航07月22日03时58分 49

用传统机器学习检测AI生成文本

截至2026年初，主流大语言模型生成的文本呈现出强烈的统计规律，传统机器学习模型可以高效区分其与人类写作内容。本文作者在体验多个AI生成内容检测平台后，基于困惑度等特征训练了一个轻量级分类器，单句检测准确率约85%。文章详细介绍了从数据收集、特征工程到模型训练的全过程，并开源了核心代码和预训练模型，探讨了AI文本检测的可行性与局限性。

# 开源项目Heooo AI工具导航07月17日01时31分 46

Thinking Machines发布9750亿参数开源模型

Thinking Machines公司正式发布其开源大语言模型Inkling，总参数量高达9750亿，但采用混合专家架构，每次推理仅激活410亿参数，兼顾性能与效率。该模型支持文本、图像和音频多模态输入，拥有100万token的超长上下文窗口，并在代码编写、工具使用、指令遵循及置信度预测等任务上表现出色。Inkling已开放权重，开发者可通过Tinker平台进行微调，为AI应用开发提供了强大的基座模型。

# 开源项目Heooo AI工具导航07月16日02时58分 40

Mesh LLM：分布式AI计算新范式

Mesh LLM 是一个基于 iroh 的分布式 AI 计算框架，旨在将多台机器的 GPU 和内存整合为一个统一的 OpenAI 兼容 API。它支持本地运行、路由至对等节点或将大模型按层拆分至多机流水线执行，从而让团队无需依赖大型数据中心即可运行大模型。该项目已开源，内置 40+ 模型，从 0.5B 参数到 235B MoE 巨模型均可灵活部署，显著降低 AI 计算成本和基础设施依赖。

# 开源项目Heooo AI工具导航07月12日07时58分 49

OpenAI复刻Git仓库引社区热议

OpenAI在GitHub上fork了Git版本控制系统的官方仓库，引发开发者社区广泛关注。Git作为分布式版本控制系统的标杆，由Linus Torvalds创建，以高效、灵活著称。此次fork行为可能暗示OpenAI在内部开发或工具链优化上的新动向，但也可能仅是技术团队的常规操作。文章深入解析Git的起源、设计哲学及其在AI开发中的关键作用，探讨OpenAI此举的潜在技术意义。

# 开源项目Heooo AI工具导航07月12日05时02分 48