研究計畫概覽
RESEARCH PROGRAMS
研究計畫（Research Program）不是單一的文章或一次實驗，而是具有明確問題、時間週期、里程碑、所需證據和公開成果的長期研究單元。
現行主要計畫
Riemann Hypothesis Program
結合有限結構、正值性、解析延拓以及臨界線上的剛性，進行可審計主張與計算證據的長期數學研究。
Quantum Computing Program
研究量子資訊、Phase-Structure Computation、量子啟發運算、替代推論基礎、驗證以及物理實作的交集。我們探索可降低對傳統GPU中心推理依賴的計算模型，但不斷定其替代性或性能。
Intelligence Architecture Program
研究具備記憶體、多個代理人（multiple agents）、證據、審計機制和人類責任的 AI 運營架構。
Observer & Selection Program
在理論、計算和原型設計各層面，探討觀察者、意圖、選擇與表現之間的關係。
Civilization Systems Program
將 META OS 的原則應用於組織、城市、行政、教育、醫療、基礎設施和集體決策等領域的研究。文明系統作業系統（Civilization OS）並非比 META OS 更上層的產品，而是將適用範圍擴展至社會與制度的構想。
計畫的公開要素
- 研究問題與主張邊界 (Research Question and Claim Boundary)
- 與現有研究的關聯性
- 里程碑與當前狀態
- 所需證據／證偽條件
- 出版物、軟體、資料、成果物 (Publication, Software, Data, Artifact)
- 限制、批評、修訂歷史
計畫的存在並不代表其成果或證明已經完成。我們以同等重要性公開進度與未解決的問題。
設立計畫的理由
長期研究無法僅依賴日常新聞或單一論文來確定方向。計畫將問題、假設、方法、里程碑、預算、產出物和驗證條件彙整為一個單元，建立追蹤跨年變化的機制。即使沒有成果，我們也會記錄嘗試了什麼、哪些被否定了，以及下一步需要什麼。
共通格式
- 研究問題：想要闡明什麼
- 現行模型：目前採用的解釋與前提
- 方法：理論、計算、實驗或原型設計的方法
- 狀態：探索、形式化、計算、外部驗證等當前處境
- 產出物：論文、資料、軟體、專利、成果物 (Artifact)
- 開放問題：未解決點與證偽條件
- 下一里程碑：下次可確認的到達點
跨領域連結
如同智慧架構計畫所產生的審計方法被用於數學研究的溯源性（Provenance），或觀察者與選擇計畫的理論回饋問題給 AI 決策，各個計畫之間是相互連接的。然而，我們不會將不同領域的相似性視為科學上的同一性，而是明確區分可移植結構和不可移植的部分。
審查與終止
一個計畫本身持續進行並不代表成功。我們會定期重新檢視問題的重要性、證據、成本、倫理、安全性以及替代路徑。即使整合、暫停或終止，我們也會歸檔理由和成果，以便日後驗證。
參與與支援
外部合作將在計畫單元層面定義課題、週期、產出物、智慧財產權（IP）和公開範圍。預期協作的不僅是資金提供，還包括資料、計算資源、實驗設備、審查、共同撰寫以及社會實施等。
各計畫的差異點
RH 計畫處理數學主張與證明路徑；量子運算計畫處理從理論到物理實作的驗證鏈；智慧架構計畫處理持續性的智能運用；觀察者與選擇計畫處理觀察與選擇的共通結構；文明系統計畫則著重於制度和基礎設施的長期回饋。雖然使用共同方法，但所需證據的種類並不相同。
成果評估
除了出版物數量外，我們將包含問題的明確化、反例的發現、可重現的成果物 (Artifact)、可用的原型 (Prototype)、外部審查以及社會實施中揭示的限制等。即使是負面結果，只要探索範圍和方法清晰，也會作為研究資產保存。
路線圖更新
每個計畫頁面都會顯示最近的里程碑、完成日期、下次審查時間以及依賴的外部條件。如果預定延遲或變更，我們不會顯示日期，而是記錄理由和新的前提。長期構想與目前可執行的工作不應在同一時間軸上展示。
計畫間資源分配
計算資源、人力、資金和公開作業都是有限的。SRI 會考慮重要性、驗證可能性、社會影響力、獨特性、安全性以及外部合作的有無來重新評估優先順序。我們也會將部分資源分配給基礎方法論（Method）和溯源性（Provenance），以避免只有華麗的主題持續獲得資源。
}