公開來源
保留作者歸屬、URL、版本、取用日期及授權狀態。
INDEPENDENT MATHEMATICAL EVIDENCE · 2026
證據先於聲望。
驗證先於結論。
AI Mathematics Verification Observatory — 為外部 AI 數學研究建立公開來源、版本追溯、可重現檢查和獨立審計紀錄。研究成果歸原作者；AMVO 只對自己實際完成的檢查負責。
試驗基礎設施。任何「通過」都只指它實際算過的那一件事，不表示外部數學定理已獲證明；沒有實際檢查過的一律標為 NOT_CHECKED 或 UNKNOWN。
—公開來源
—已登錄命題
—現行命題・有限檢查通過
—現行命題・尚未檢查
—形式化核心實際執行
—外部定理獲完整認證
CLAIM REGISTER
命題登錄
一份來源可以有許多條命題，這裡逐條列出。每條只寫實際算過的結果，其餘標示為未檢查或未知。
正在讀取公開資料…
SOURCE REGISTER
來源與版本
來源的數量不等於命題的數量。來源已登錄，不代表其中有任何命題已被檢查。
EVIDENCE ≠ AUTHORITY
我們不混淆六種不同的證據
重算與重現
檢查確定性運算、工件雜湊，以及是否能重新執行。
形式化核心
只有實際運行指定版本證明檢查器，才可記錄 kernel 結果。
語義一致性
核對形式命題是否忠實對應自然語言原始主張。
獨立數學審計
查核依賴、量詞、邊界條件、反例、文獻與新穎性。
持續修訂
保留錯誤、撤回與版本歷史，不因聲望或機構身分改變標準。