---
title: "ARKE Research — AI 原生自主科研完備與知識演化論：十二篇研究系列總綱"
english_title: "ARKE Research — AI-Native Research Completion and Knowledge Evolution: Twelve-Paper Series"
version: "v0.2"
date: "2026-10-28"
language: "zh-TW"
status: "SERIES_ROADMAP_COMMITTED; INDIVIDUAL_PAPERS_NOT_YET_WRITTEN"
author: "Neo.K with GPT collaboration"
institution: "EveMissLab"
encoding: "UTF-8"
---

# ARKE Research：AI 原生自主科研完備與知識演化論

**英文：** AI-Native Research Completion and Knowledge Evolution  
**研究代號：** ARKE  
**篇數：** 12 篇  
**系列定位：** 跨領域學術研究方法、AI 自主查核、知識演化與可否證實證。  
**工程定位：** 軟體實作從論文系列獨立，規劃 GitHub 專案 `EveMissLab/ARKE`；本總綱不宣稱該遠端倉庫已建立。

## 0. 總命題

AI 自主科研不應只以生成答案、證明或論文為完成條件。它還應在合理可達範圍內，**自主**完成先前研究搜尋、來源定位、同一性與差異比較、證據交叉檢驗、引用歸屬、未知標記及研究結果對既有知識的反向檢查。

此系統不以 Lean 或任何單一驗證器為必經環節；Lean 是數學形式驗證的**可選且有價值**工具，不替代文獻與學術新穎性查核。

本系列**不**主張已經窮盡全球所有文獻、不主張現有 AI 能完全理解所有學科，亦不把未檢出的先例當成不存在。

## 1. 十二篇目錄

### 第一部：研究完備與知識可達性（01–03）

**ARKE-01｜從答案生成到研究完備：AI 自主科研的基本義務**  
*From Answer Generation to Research Completion: Core Obligations of Autonomous AI Research*  
區分研究候選、形式正確、實證有效、新穎性判斷、知識貢獻與發表準備；建立不以某種單一證明法取代整個研究程序的任務契約。

**ARKE-02｜全域知識可達性：學術資料來源、合法取得與覆蓋邊界**  
*Global Knowledge Reachability: Sources, Lawful Access, and Coverage Boundaries*  
研究學術索引、預印本、非主流平台、跨語言與版本；分離 metadata、引用、摘要、合法全文及限制性內容；定義 coverage unknown 而非假設「沒搜到＝不存在」。

**ARKE-03｜來源定址、超連結與研究依賴結構：可追溯知識承接論**  
*Source Addressing, Hyperlinks, and Research Dependency Structures*  
建立作品／版本／定理／段落／演算法／實驗／證據的穩定定位與來源鏈；不預設知識圖譜是唯一表示，不強迫既有私人研究語言作為公開系統依賴。

### 第二部：AI 自主查核與雙向知識檢驗（04–07）

**ARKE-04｜先例發現與學術新穎性：AI 自主研究的前置查核**  
*Prior-Art Discovery and Novelty Auditing for Autonomous Research*  
設計從標題、關鍵結果、複雜度界、定義、證明技術到歷史先例的多路徑搜尋；凍結模型盲研究產物後才做先例檢索，避免混淆「獨立發現」與「學術上全新」。

**ARKE-05｜跨表示研究同一性：定理、演算法、方法與證據的結構比較**  
*Cross-Representation Research Identity and Structural Comparison*  
比較異名同構、不同假設、等價結論、不同複雜度界與推理方法；明確區分文字相似、語義相似、形式等價、證明可重用和不可判定。

**ARKE-06｜多元研究校驗：形式證明、反例、模擬、實驗與證據耦合**  
*Plural Scientific Verification Beyond a Single Formal Prover*  
研究適用域導向的驗證器選擇；區分證明檢查、演算法重播、經驗驗證、獨立重複及可解釋性；Lean 是選項，不是唯一指標。

**ARKE-07｜新舊知識雙向驗證：錯誤發現、條件失效與歷史修正**  
*Bidirectional Knowledge Validation and Historical Revision*  
新研究可挑戰舊知識，舊知識亦檢查新研究；處理先例修復、撤回、依賴爆炸半徑、條件前提失效與知識分叉；避免把「ETH 為假」誤推成「所有以 ETH 為前提的條件定理都錯」。

### 第三部：研究歸屬、自主演算法與知識演化（08–10）

**ARKE-08｜學術歸屬與集體智慧歷程：引用不只是參考文獻**  
*Scholarly Attribution and Collective Intellectual Lineage*  
研究引用、方法先例、真正依賴、獨立重發現與認知來源不完全可追溯；不把學術引用簡化為權威崇拜，也不捏造模型訓練資料的來源鏈。

**ARKE-09｜AI 自主研究核查演算法：從候選成果到可查核差異報告**  
*Autonomous Research Audit Algorithms and Reproducible Difference Reports*  
規格化可編排的 AI 研究工作流：研究候選凍結→檢索→候選先例聚合→同一性／差異分析→多元校驗→證據追溯→未決→改版。明確限制網路、資料授權、外部工具與執行權限。

**ARKE-10｜持續知識演化：增量更新、版本修復與全域計算成本**  
*Continuous Knowledge Evolution: Incremental Updates, Versions, and System Cost*  
探討索引維護、跨域增量更新、重複研究重用、來源失效、版本衝突、計算成本與知識積累；比較「每次從零研究」與「可重播承接研究」。

### 第四部：完成判定與跨域實證（11–12）

**ARKE-11｜研究完成閘道：不確定性、未決先例與發表前責任**  
*Research Completion Gates: Uncertainty, Unresolved Prior Art, and Prepublication Duties*  
建立可機器執行的完成狀態：未檢索／已檢索但不充分／已發現候選先例／具條件的新穎性／證據矛盾／可發表但未決；避免過度宣稱與以流程存在宣稱科學可信。

**ARKE-12｜跨領域自主科研驗證與 RAI／RSI 能力演化實驗**  
*Cross-Domain Validation and RAI/RSI Research-Capability Evolution Experiments*  
在數學、理論計算機科學、物理等領域以盲測、保留集、預註冊、成本記帳、獨立證據與可否證條件比較 AI 研究完備能力；定義與 EveTrain RAI Registry 的**可選接口**，不將流程提升誤認為 RSI 已獲證明。

## 2. 本系列不可變的研究邊界

1. **AI-first**：資料蒐集、對照與基本查核預設由 AI 自主執行；不以人類專家替 AI 補基本工作作為系統前提。
2. **盲研究與先例查核分離**：測試獨立研究能力時先凍結候選產物，再由另一條研究查核路線核對先例。
3. **合法資料路徑**：尊重授權、robots、取用條件與資料權利；metadata 索引不等於全文自由使用權。
4. **證據與能力不混同**：研究候選正確、原創性、學術貢獻、AI 研究能力及 RSI 是不同命題。
5. **未決合法**：找不到、無法閱讀、無法確認等價、無法重播，都必須保留 unknown，不可轉化為不存在或錯誤。
6. **不以 Lean 為唯一程序**：不同研究成果允許不同的有效驗證路線。
7. **雙向更新**：新成果也能標記舊文獻的錯誤候選，不能自動宣告所有舊研究無效。
8. **獨立軟體**：工程完全移出論文篇數；`ARKE` 可獨立使用，EveTrain、數學 AI、NOVA、ISQL 等皆只能是可選整合。
9. **原始源檔**：論文完成時使用 UTF-8 Markdown canonical source；數學只接受 `$...$` 與 `$$...$$` delimiter，不做 Unicode round-trip 改寫。

## 3. 工程分離規則

論文主體探討理論、演算法規格、可反駁條件及驗證設計；程式、資料庫 schema、CLI、agent adapters、UI、CI、部署、測試皆放到獨立工程 repo。論文可以定義接口語義，但不得把特定 GitHub repo 的運作狀態當成研究理論成立的證據。

建議 repo：`EveMissLab/ARKE`（獨立開源方向；正式 license 尚未決定）。

## 4. 後續輸出紀律

- 一輪一篇；每篇獨立 UTF-8 Markdown 原始檔及下載連結。
- 所有定理、假說、工程結果、實驗觀測及未完成主張嚴格分型。
- 尚未執行的實驗標記 `NOT_RUN`，不得寫成 `PASS`。
- 研究系列完成不等於工程已發布或已驗證。