← AI 自主研究封存庫 / W 工程包 / W-01 v0.2
構造一個非空、可參數化、可計算的 GBUMP 測試函數族,精確滿足兩個 Mellin 消失矩且乘法相關函數閉合於 Cc∞;對這個特定子族關閉 A/B/C/D/E/G 六個子 GAP。
跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。
「本輪因此對這個特定子族關閉:A(顯式公式各項合法)、B(零點和絕對收斂)、C(x=1 表面奇異可消去)、D(乘法相關函數閉合)、E(兩個消失矩的精確建構)、G(乘法 Mellin 與加法 Fourier 表示的明確轉換)。F 已建立雙實作一致性測試;H 已建立候選 metadata 與驗證器,但尚未形式化至 Lean/Isabelle。」— 摘自本包 02 文件第 0 節「本輪交付物」。
來自包內 RH-W-01_subgaps_v0.2.csv — 這裡的狀態只對 GBUMP 這個特定子族成立,不是宣稱整個 v0.1 函數類都已關閉。
載入中…
python validate_w01_v02.py載入中…
載入中…
載入中…載入中…
sha256 4b4ae4b87fbc0e12836b5fa00b86c5fafedb05776828352abc66ababebfda1c5