AI News

热点事件

报告以Ginux为案例研究HDAE方法

1 篇正式报道1 条事件动态更新于 10月27日 08:00

先了解这件事

AI 综述

Zenodo上的一份报告提出人类主导的智能体工程(HDAE)方法,由人定义架构、约束、里程碑和验收标准,智能体负责实现、执行、诊断与修改循环。该报告以Ginux为实验案例:在十一天内由一个持续运行的编码智能体任务产出Rust优先的x86-64内核,经UEFI启动,实现自有核心操作系统机制和Linux兼容层,可运行部分未修改的Alpine Linux程序,并启动带systemd的Rocky Linux 10用户空间进入multi-user.target。报告称Ginux仍是研究原型,兼容性和硬件覆盖范围窄,未经过独立安全审计,不宣称达到生产可用或与Linux等价。

AI 根据公开报道生成

最新进展 · 正式报道

Ginux 报告:用人类主导的智能体工程构建可运行 Linux 用户空间的独立内核

事件进展

1 个已确认进展

  1. 报告以Ginux为案例研究HDAE方法

    来源:Hacker News 热门

报道与讨论时间线

按时间查看正式报道与传播讨论;两类内容的证据等级保持独立。

10月27日

  1. Hacker News 热门

    Ginux 报告:用人类主导的智能体工程构建可运行 Linux 用户空间的独立内核

    Zenodo 上的这份报告提出人类主导的智能体工程(HDAE)方法,由人定义架构、约束、里程碑和验收标准,智能体负责实现、执行、诊断与修改循环。实验案例 Ginux 在十一天内由一个持续运行的编码智能体任务产出 Rust 优先的 x86-64 内核,经 UEFI 启动,实现自有核心操作系统机制和 Linux 兼容层,可运行部分未修改的 Alpine Linux 程序,并启动带 systemd 的 Rocky Linux 10 用户空间进入 multi-user.target。报告称 Ginux 仍是研究原型,兼容性和硬件覆盖范围窄,未经过独立安全审计,不宣称达到生产可用或与 Linux 等价。

关联事件

  1. 相关事件Linux基金会发布生成式AI对开源开发影响报告
  2. 相关事件GVS5H提出免训练ledger自编排方法
  3. 相关事件OpenAI在ChatGPT Work和Codex上线GPT-6.1 Terra
  4. 相关事件Axiom Math发布有限单群分类Lean完整机检证明