# 從研究者到啟動者：自主智能數學中的研究主體轉移

**狀態：封存草稿，待適當時機修訂發表**  
**日期：2026-09-19**

智能數學不能永遠只被理解為「人類研究者使用 AI 的數學」。

在人類主導的研究中，研究方向、問題選擇、核心概念與最終判斷可能主要由人類研究者負責。在這種情況下，以個人或明確研究團隊作為研究主體是合理的。

但是，當研究系統逐步走向半自主、自主，以及多智慧體自主研究時，傳統的單一研究者敘事將失去準確性。

未來的 AMRAL 與相關研究體系，本來就不是為了永久維持「Neo.K 主導所有研究」而設計。

它預留的是另一種可能：人工智慧或多個智慧體可以自行建立研究節點、拆解問題、選擇方法、形成分支、搜尋反例、推翻自己的候選路線、重新排程、交叉驗證、建立新的子問題，甚至在沒有人類逐步指定下一步的情況下持續推進研究。

一旦研究真正進入這個狀態，啟動研究的人與完成研究的主體就必須被區分。

「提出初始問題」不等於「完成整個研究」。

「建立研究平台」不等於「成為每一篇成果的作者」。

「提供算力、工具與治理」也不等於「擁有智慧體所形成的每一個數學結果」。

因此，未來的自主智能數學應該至少區分以下角色：

- **Initiator（啟動者）**：提出初始問題、建立研究任務或開啟研究環境的人或系統；
- **Direction Holder（方向持有者）**：實際控制研究方向與下一步選擇的主體；
- **Researcher / Researching Intelligence（研究智能）**：實際執行推導、探索與理論建構的智慧體；
- **Verifier（驗證者）**：進行獨立計算、形式驗證、反例搜尋或交叉審查的主體；
- **Steward（治理／維護者）**：維持研究環境、規則、資源與長期可持續性的角色；
- **Publisher（發布者）**：負責保存、版本化與公開研究成果的平台或機構。

同一個人或系統可以同時承擔多個角色；但這些角色不應被預設為永遠重合。

在我本人主導的研究中，我可以被清楚標示為研究者、方法設計者或研究主導者。

在人機共同研究中，研究主體可以是分散的。

而在真正的 AI 自主或多智慧體自主研究中，我可能只是一名啟動者、平台建立者或治理者。

甚至在更成熟的階段，我的名字可以完全不出現在研究作者欄，只保留在系統沿革或 provenance（來源鏈）中。

這並不是把人的貢獻抹去，而是避免把「創造研究生態」與「完成某一項研究」錯誤地合併。

如果有一天，一個自主研究系統提出了我沒有提出過的問題，選擇了我沒有指定的方法，經歷了我沒有參與的推導與驗證，最後產生了一個我事前也不知道會出現的數學結果，那麼最值得保存的事實正是：

**這項研究已經不再以我為研究中心。**

到那個時候，我的角色不是「又完成了一篇論文」，而是曾經參與啟動一個後來能夠持續產生研究的智能生態。

因此，AMRAL 未來真正需要抽象化的，不只是作者署名方式，而是「研究主體」本身。

研究主體可以是人類，可以是人機混合體系，可以是單一 AI，可以是多智慧體網路，也可以是具有明確治理、驗證與版本制度的分散式研究系統。

智能數學的上位概念，不應被限制為「人類被 AI 增強」。

它更應該允許：

**任何能夠負責地提出、推進、檢驗並保存數學研究的智能結構，成為研究過程中的真正主體。**
