研究论文 v1.1
AGI 的工程化定义:以复杂项目闭环能力为判断标准
人工通用智能(Artificial General Intelligence,AGI)长期缺少稳定且可操作的定义。既有定义分别强调拟人行为、主观心智、广泛认知能力、人类水平表现、经济价值或社会影响,却仍难以回答一个工程问题:AI 何时从高能力工具转变为能够独立…
DOI: 10.5281/zenodo.22803294COG / PAPERS
AGI、ASI 与 AI 工程学研究论文
正式、稳定、可引用的理论定义、方法论与研究论述。
知识 · 结构生成 · 约束保持
研究论文 v3.3.1
KSC:知识、结构与约束——人类—AI 差异与协同的功能框架
当前 AI 已能够广泛调用知识并快速生成复杂结构,但不同任务中的能力表现仍具有显著差异:有些问题主要受可用信息限制,有些问题要求形成新的问题表征、关系或方案,还有一些任务即使局部生成质量很高,也会在长链条、多条件和强状态依赖过程中逐渐丢失目标、前提、边界或验收…
DOI: 10.5281/zenodo.21991838 研究论文 v1.2
KSC2:ASI 的渐进结构框架 结构开放性、结构自主性与 AGI–ASI 的结构性差异
人工通用智能(Artificial General Intelligence,AGI)与人工超级智能(Artificial Superintelligence,ASI)通常通过能力覆盖范围以及相对于人类的表现水平加以描述。已有研究已经尝试把 AGI 从单一终点…
DOI: 10.5281/zenodo.21976747 研究论文 v2.2
KSC3:从结构分布内化到 AI 跨代进化——DSI 与 ES–DSI 机制
KSC 将智能活动抽象为知识(Knowledge, K)、结构生成(Structure, S)与约束保持(Constraint, C)三个基本变量。既有 KSC 工作将 K 描述为当前任务可调用的知识与已固化结构,但仍留下一个更深的问题:对于生成模型而言,这些…
DOI: 10.5281/zenodo.21993013 研究论文 v1.1
固定模型规模下的 AI 编程能力跃迁:ES-DSI 社会级跨代进化机制的公共证据与可检验假说
当前对 AI 能力进步的解释,通常集中于规模扩展(scaling)、训练算法改进、自训练与推理计算等方向。然而,软件工程领域出现了一个值得单独研究的现象:即使参数规模与模型架构不再扩大,甚至沿用同一预训练基础模型,后训练仍可带来数十个百分点的软件工程基准增益。…
DOI: 10.5281/zenodo.22124999 AGI 理论 v0.1
AGI进展的三轴模型
用规模轴、范式轴和工程化轴描述 AGI 进展，并说明复杂任务稳定交付阈值。
研究论文 v2.6.2
从 SCR 关系到搜索空间治理:AI 软件工程交付可靠性的基础分析框架
生成式 AI 已能低成本生成代码和功能,但复杂软件的可靠交付仍依赖对任务约束、组件依赖、变更影响与验证反馈的持续处理。本文考察由大语言模型、开发 Agent、工具、执行环境、验证反馈与多轮迭代共同组成的完整 AI 开发系统,并以从接受任务到完成交付、终止任务或…
DOI: 10.5281/zenodo.21917081 研究论文 v2.1.9
多轮审计收敛:复杂 AI 工程任务的覆盖状态判断与递归控制
大模型及其 Agent 已经能够处理部分真实的软件工程任务,但一次执行成功仍不足以证明具体结果已经达到可交付、可依赖的程度。前置研究提出 SCR(Search Space–Coverage Capability–Delivery Reliability Rel…
DOI: 10.5281/zenodo.21959920 研究论文 v1.0
MRAC Bench:基于多轮审计收敛的软件工程评测方法与基础设施
软件工程评测需要持续获得贴近真实开发、具有区分度且制作成本可承受的任务。本文提出 MRAC Bench,一种基于多轮审计收敛(Multi-Round Audit Convergence,MRAC)的评测方法与基础设施。其核心思路是:以审计修复轨迹作为条件性信号…
DOI: 10.5281/zenodo.22790766 研究论文 v1.0
MRAC 的理论起点与递进研究纲领:从不收敛诊断到工程 AGI
既有研究提出多轮审计收敛(Multi-Round Audit Convergence,MRAC),以同一工程对象在“审计—修复—再审计”过程中的问题变化判断系统能否稳定处理当前任务;另一项研究则以搜索空间(S)、覆盖能力(C)和交付可靠性(R)的关系解释 AI…
DOI: 10.5281/zenodo.21917630 研究论文 v1.0
AI工程学:面向智能任务可靠交付的学科纲领
大模型及其Agent系统已经能够生成代码、规划任务、调用工具并修改真实工程状态,但能力增长尚未同步转化为复杂任务的可靠交付。现有研究已分别从模型能力、上下文、检索增强、Agent架构、软件工程、评测、可靠性与安全保证等方向处理相关问题,但这些成果之间仍存在一个…
DOI: 10.5281/zenodo.21931156