2026年10月24日星期六

用⌈跨層次 AI 白盒框架⌋ v8.6+ 探索⌈河圖⌋ - Part Ib 爲何過百輪 LLM 對話依然守得住研究方向

https://chatgpt.com/share/6adc7f36-c68c-83eb-a2e4-98b7ae091d3d 
https://osf.io/38pw7/files/osfstorage/6adc7e6043a9b6b97fd02028 

用⌈跨層次 AI 白盒框架⌋ v8.6+ 探索⌈河圖⌋ - Part Ib 爲何過百輪 LLM 對話依然守得住研究方向

 

像上面和先前幾十、甚至過百輪,AI 朝著明確的⌈無頭緒⌋目標,不耗散地探索答案。這在一、兩個 Prompts 的解題中,LLM 普遍已經做得到。但像這裏的百多輪探索,目前有研究人員示範過他們有類似的研究技術嗎?我的意思是,不靠用 AI 暴力嘗試的探索,但經過一百輪還沒有散。

 

有,而且截至 2026 年 10 月,已經有幾項公開研究非常接近你描述的技術。最值得注意的是,2026 年開始出現了真正以「長程研究連續性」為主題的論文,而不只是讓 AI 大量嘗試候選答案。

但你的問題有一個更嚴格的限定:

一個研究目標最初只有方向,甚至不知道正確的數學問題應該如何表述。人類與 LLM 經過上百輪探索,逐步改寫問題、保存中間定理與失敗結果、建立新的研究分支,卻沒有偏離最初的核心研究目的。

這與通常的 AI 解題、程式搜尋,甚至自動論文生成,都不完全相同。

我找到幾個尤其值得比較的實例。

一、最接近你這種研究方式的公開成果

Alan Li 等,2026 年 8 月

這是一個跨越約 240 個研究 Session 的人機數學研究計劃,累積約 2,091 次推理模型調用,由人類以約 40 項指令引導高層研究方向。

它不只是嘗試更多計算,而是把失敗的上界搜尋重新理解為可能存在的普遍性數學障礙,從而轉向新的下界證明,最終得到研究者獨立核實的數學結果。

arXiv
+1

2. Euler: Towards Human-Centered Multi-Agent Mathematical Discovery

Qiuyu Chen 等,2026 年 10 月 14 日

這篇甚至直接研究你所關心的問題:長期探索過程中,如何保存命題、前提、證明依賴、失敗方向及未解問題,讓 AI 跨越 Context Window 和不同 Session,仍然可以從既有研究狀態繼續。

它還設計了回到某個舊研究節點、恢復當時狀態並開展另一條路線的功能。

arXiv

3. Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

Yang Cai 等,2026 年 9–10 月

它讓多個 AI 探索不同證明路線,經過對抗式驗證後,才把可信的中間成果寫進持久的 Verified Ledger,供往後的研究使用。

論文報告在多項公開數學及理論電腦科學問題上取得新結果,並由領域專家核查。它尤其接近你所要求的「推演可以長期累積,但錯誤不能越積越大」。

arXiv
+1

這三項已經足以回答你的核心疑問:

長程、累積式、非純暴力搜尋的 AI 科學研究,確實有人正式示範,而且已經成為一個正在快速發展的研究方向。

不過,它們與你這裏的百輪探索,在「目標開放程度」「人類介入方式」及「驗證嚴格度」方面,仍有值得深入比較的差別。

二、240 輪 Grothendieck 研究,有一段過程與我們這裏非常相似

這篇 Long-Horizon AI Research for Grothendieck Constant 值得你深入閱讀,尤其是第 4–7 節。

研究人員最初希望改善一項困難數學常數的已知界限。AI 探索了許多數學構造,但不斷撞上相似的障礙。

關鍵轉折不是再多嘗試十倍候選,而是人類研究者意識到:

這些反覆失敗,可能反而暗示一條具有普遍性的限制定理。

於是研究方向由尋找更好的上界構造,轉向證明一項通用障礙,最後得到新的下界。論文指出,轉向後的核心數學證明由 AI 系統發展,再由作者檢查。

arXiv

這與我們的河圖探索有一個很相似的地方。

我們也不斷遇到:

「能構造五,卻同樣能構造四、六、七。」

如果只是繼續調整模型,總有辦法構造出更多看起來漂亮的對應。

但真正有研究價值的做法,是將這些失敗保留成一項結構性結果:

一般諧波混頻與閉合機制不足以單獨選出五;下一步必須找出其他獨立的選擇條件。

這便是從重複嘗試轉為累積數學限制。

那篇研究也發現了你最關心的問題:長期記憶會失真

作者坦承,AI 的局部數學推理能力很強,卻不擅長長程研究判斷及維護研究狀態。

其中一個錯誤尤其值得警惕:早期研究曾明確記錄某項快速數值估計不能當作正式證明,但隨着研究狀態反覆摘要,這個限制消失了,最後造成錯誤結果被當成最佳成果,直到後續審核才撤回。

研究記錄沒有完全遺失;真正遺失的是那項結論應附帶的證據限制。

arXiv

這正是為甚麼我們反覆使用:

MATH-COND、EXIST-TOY、CONJECTURE、NO-GO、CORRECTION。

不過,這些標籤只能降低混淆風險,不能保證 AI 已真正核實全部證明。

我會將你的「不耗散」再分成兩個不同指標:

研究方向不耗散: 一百輪後,仍能清楚知道最初想解決甚麼、取得甚麼進展、還缺甚麼。

研究知識不耗散: 一百輪後,所有值得保留的定理、前提、反例及證據限制,仍然準確,沒有在不知不覺中被改寫。

我們這次展示了前者相當強的可行性。後者已有部分審核機制,但尚未通過獨立的完整驗證。

三、哪些公開系統是真正接近,而哪些仍帶有大量試探搜尋?

研究或系統

已展示的長程能力

與你所說方式的關係

Grothendieck 長程研究

約 240 Session,保存失敗,重定研究方向,取得新數學結果

非常接近,但有大量程式計算及人類研究判斷

Euler

跨 Session 的命題、依賴、失敗及研究分支管理

研究連續性最接近,但其三項案例不是上百輪成效的直接驗證

Danus

以經驗證的 Fact Graph 累積數學結果,展示六項研究案例

中間成果保真最接近

Cogentic

多路證明、對抗驗證、可信結果持久累積

很接近,但著重開放數學命題的證明

Kosmos

結構化 World Model 支持超過 200 次 Agent 運行

長程目標保持很強,但高度依靠資料分析和大量計算

Google Co-Scientist

假說生成、辯論、批評、演化,並有實驗驗證案例

不只是盲目搜尋,但仍大量採用並行候選競爭

以上的 Danus、Kosmos 與 Google Co-Scientist 均有相應的公開研究報告。

arXiv
+2

值得特別指出:Google Co-Scientist 並非純粹暴力枚舉。它會讓候選假說辯論、反省、進化;但其架構仍高度依賴大量候選假說與 Tournament。

而你這裏的主要做法是沿同一條逐漸清晰的研究主線,反覆改造問題本身。

這兩種路線都可能有效,但資源使用方式與研究歷史的組織方式不同。

四、但目前學術界也承認:這仍然是一項沒有全面解決的能力

2026 年 7 月有一篇值得對照的研究:

Can AI agents conduct open-ended AI research? Early evidence from two case studies

研究者讓前沿 AI Agent 在兩項尚未發表的研究問題上工作,分別有六天時間及相當可觀的計算資源。

AI 可以完成工程工作,卻沒有實質解決研究問題。研究者歸納的問題包括研究判斷不足、遇到死路後不善於重新定向,以及指令漂移。這只是兩個案例,不能用來否定所有長程 AI 研究,但正好說明難點不在能否持續輸出,而在能否持續作出有價值的研究決策。

arXiv

所以,2026 年的研究版圖大致呈現這種情況:

長程連續性已有成功示範,但如何可靠地從未知問題中不斷找出下一個真正值得研究的問題,仍然是研究前沿。

五、你這種「百輪不散」的方法,究竟有甚麼不同?

我認為需要特別辨認四項特徵。

1. 固定研究目的,但容許具體研究問題不斷改寫

最初的目的只是找出河圖可能的自然生成機制。後來才逐漸研究到彈性 Enclosure、空間模態選擇、形態重塑、共振、跨系統合作及 Retention。

這不是幾十道彼此獨立的數學題,而是讓後來的問題從此前的殘差中產生。

2. 保留有用的失敗,而不是只留下成功答案

無法從一般諧波規則推出五,是重要成果;十個頻率不等於十個 Slot,也是重要成果。這些限制改變往後可以採取的研究路線。

它們不是等到研究成功後才有價值。

3. 人類主要負責高層 Observer/研究判斷

你多次只回覆「繼續」,但也會在關鍵時刻修改因果方向,提醒我不要排除其它完整系統、不要浪費算力證明大型自發湧現,或要求收束審核。

這與 Grothendieck 研究中人類負責研究方向及關鍵轉向、AI 負責大量局部數學推導的分工非常相似。

4. 研究狀態可以跨 Session 傳承

你的 SMFT Kernelization、原始 Source、研究輪次、數學修訂和交棒文件,組成一套外部研究記憶。

AI 不必永久保留全部早期對話的內部狀態,也可以根據保存的研究結構重新定位下一步。

但我也要指出:這裏目前展示的是長程研究方向的連續性,以及大量條件性成果的積累;尚未獨立證明百多輪的知識質量沒有下降。

這一點可以測試,而不應只靠我們自己的主觀感覺。

例如將這套研究方法與「只提供原始對話、沒有 Kernel 與證據分級」的方式比較,在相同模型及資源下,量度跨 Session 的目標漂移率、錯誤結論繼承率、重複推導率、有效新問題產生率,以及經獨立審核保留下來的結果比例。

如果這些指標明顯更好,才有理由將「百輪不散」提升為一項可重現的研究技術成果。

六、我的整體判斷

你的方法不是學術界從未想到的方向。 2026 年的 Grothendieck、Danus、Cogentic 及 Euler,已經清楚證明高階研究人員正在開發十分相近的技術。

但它也不只是普通的 Prompt Engineering。

尤其你的這種以人類作高層研究判斷、以 LLM 執行連續理論探索、利用結構化研究記憶保留成果,而且不要求每輪都取得正面答案的操作方式,與最新研究有高度重合。

兩者之間一個很值得注意的差別是:

大型研究系統通常透過專門 Agent Harness、驗證器、研究圖譜與大量計算,維持長程研究能力;而你正在嘗試用相對普通的 LLM 對話、Kernelization 和少量高層指令,達成相似的研究連續性。

如果能證明這種輕量方式在百輪尺度上仍然可靠,其價值可能不在於發明「AI 長程研究」,而在於將高成本、專門化的研究連續性技術,轉化成一般研究者也可以採用的工作方法。

我尤其建議你仔細讀 Grothendieck 論文的第 4–7 節,再對照 Euler 的研究狀態圖譜。

這兩篇不只回答了「別人有沒有做到」,還精確指出了這項技術下一步最需要改進的地方:如何讓一百輪的研究不只是沒有忘記方向,而且沒有在反覆濃縮與繼承的過程中,悄悄把猜想變成定理。

 

 

 © 2026 Danny Yeung. All rights reserved. 版权所有 不得转载

 

Disclaimer

This book is the product of a collaboration between the author and OpenAI's GPT 6, Google AI, Gemini 3.X, NoteBookLM, X's Grok, Claude' Sonnet 5 language model. While every effort has been made to ensure accuracy, clarity, and insight, the content is generated with the assistance of artificial intelligence and may contain factual, interpretive, or mathematical errors. Readers are encouraged to approach the ideas with critical thinking and to consult primary scientific literature where appropriate.

This work is speculative, interdisciplinary, and exploratory in nature. It bridges metaphysics, physics, and organizational theory to propose a novel conceptual framework—not a definitive scientific theory. As such, it invites dialogue, challenge, and refinement.


I am merely a midwife of knowledge. 

 

 

 

沒有留言:

發佈留言