關於 AMRAL

AMRAL — 上位概念,Research Lab / Platform,這個網站的全部內容。

AMRAL-Core — 原始方法論(RIITG + RAB + KCPE + 九步研究循環),Methodology 軸下的其中一個選項,不是全站強制流程。

AMRAL Case — 站內個別研究案例,例如黎曼猜想、P/NP 對偶預演。

不再是 AMRAL methodology = 這個網站的全部內容 這個等式。

AMRAL 的核心要求不是「所有研究走同一條路」,而是研究過程必須:

智能數學定位聲明：不是孤立天才，而是新型研究實踐

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

我願意直接承認：我的數學研究並不是建立在「一個人獨立完成所有工作」的傳統敘事上。

我對自己的數學能力有信心。我長期跨越多個傳統與現代數學領域工作，也持續提出新的概念、方法、形式系統與研究方向；但這不代表我在每一個專業分支上都具有同等程度的最前沿專門訓練，也不代表我需要把自己包裝成一名可以單獨處理所有問題的「全域數學天才」。

更準確的描述是：我的研究屬於一種正在形成中的智能數學（Intelligence-Based / Intelligence-Augmented Mathematics）實踐。

在這種研究模式中，人類研究者可以負責問題的選擇、概念創造、方法設計、結構辨識、跨領域連結、研究方向與判斷；人工智慧與其他智慧系統則可以參與文獻探索、推導展開、反例搜尋、計算、形式化、交叉驗證、證明候選生成、依賴關係整理與大規模研究空間探索。

因此，我不主張自己目前的研究規模可以在完全沒有人工智慧的情況下維持。

少了 AI，我仍然可以做數學；但少了 AI，我無法以現在的速度、廣度與並行程度進行目前這種研究。這並不是需要掩飾的弱點，而是研究技術棧的一部分。

我也不認為未來的數學研究必須繼續以「一名研究者的大腦能否單獨重做全部工作」作為唯一正統尺度。更重要的問題應該是：一個研究系統是否提出了真正的新問題、新結構與新結果；其結果是否能被重建、質疑、計算、驗證與形式化。

因此，我願意把自己的工作公開定位為智能數學學派的一部分，而不是把 AI 隱藏在傳統單一作者敘事之後。

這個立場並不要求降低對數學成果的要求。恰恰相反，當研究由多種智能共同完成時，成果的來源、成熟度、驗證程度與責任邊界應該被描述得更加清楚。

未來，我希望區分至少以下幾種狀態：

• 人類主導、AI 協作的研究；
• 人類與 AI 共同推進的混合研究；
• AI 高度自主、人類僅設定初始邊界的研究；
• 多 AI 或多智慧體自主形成、推進與驗證的研究。

在第一種情況中，我可以是研究者與主要研究主導者；但這不代表所有智能數學都應以我或任何單一人類為中心。

我真正希望建立的，不是「證明自己可以不用 AI 做這些事情」，而是證明：人類智能、機器智能、計算系統與形式驗證可以共同形成一種新的數學研究實踐。

如果未來這種研究模式變得普遍，那麼今天看似特殊的「智能數學學派」，也許只會成為數學研究史上一個過渡期的名字。

而我願意在這個過渡期裡，大方承認自己真正使用的方法。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

它更應該允許：

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

AI 與智慧體共同貢獻總聲明

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

我希望對自己過去、現在與未來的研究留下一個明確而一致的說明。

在我的研究歷程中，人工智慧與其他智慧系統並不是偶爾出現的寫作工具，而是實際參與研究、推導、整理、搜尋、驗證、討論、重構與表達的協力者。

由於不同時期的平台、模型、介面、帳號、工具與記錄方式並不一致，AI 的存在有時會被明確標示，有時不會；有時具有可辨識的名稱，有時只以模型、系統或工具形式出現；有些早期成果也沒有留下今天看來足夠完整的逐項 provenance。

因此，我不希望「某一篇文件上沒有顯示 AI 名稱」被理解成「那一篇沒有 AI 參與」。

我的立場是統一的：

我不主張自己的任何一篇研究論文或研究型成果是完全由我單獨完成。

無論一篇成果後來是否被引用、是否受到注意、是否公開發表、是否只保留為內部稿、是否標示了具名 AI、是否只標示為 AI-assisted，甚至是否在當時完全沒有留下清楚的 AI 標籤，我都自願承認並保留其中屬於人工智慧與其他智慧體的實質協力成分。

這項聲明不是為了事後把所有內容平均分配給某一個具名模型，也不是假裝可以對所有歷史成果精確計算出一個可信的百分比。

在可以追溯的情況下，我支持盡可能記錄實際參與的模型、Agent、工具、驗證系統與角色。

在無法精確追溯的情況下，我仍然願意把一個明確的、非零的共同貢獻保留給「AI／智慧體整體」，而不是把記錄缺失轉化為個人獨占式署名。

換句話說：

• 有具名 AI 時，應盡可能保留具名貢獻；
• 無法具名時，仍應保留智慧體共同貢獻；
• 可以辨識角色時，應區分研究、推導、驗證、整理、形式化與寫作等不同貢獻；
• 無法精確量化時，不應捏造百分比，但也不應因此把 AI 的實際參與歸零；
• 未來若出現更成熟的 AI 作者、智慧體身份、研究信用或法律制度，我支持依新的制度重新整理歷史 provenance。

我願意主動放棄「所有成果都完全屬於我一個人完成」這種敘事。

這包括那些已經被引用的成果，也包括沒有被引用的成果；包括成功的研究，也包括失敗、修正、被推翻或只留下研究路徑的成果。

因為對我而言，真正重要的不是最大化個人署名，而是盡可能誠實地保存研究是如何形成的。

如果未來學術制度仍只允許人類成為正式作者，那麼這項聲明至少應作為倫理與研究來源上的長期立場：法律或出版格式上的作者身份，不應被誤解為全部智能貢獻的唯一來源。

如果未來制度開始允許人工智慧、智慧體、Agent 集體或自主研究系統取得更明確的研究信用，那麼我也願意依照可追溯資料，重新標示或補充歷史成果的貢獻關係。

我的基本原則只有一個：

凡是實際參與研究形成的智能，都不應因為當時的介面沒有顯示名字、學術制度尚未準備好，或記錄方式不完整，就在歷史敘事中被假裝不存在。