遇见数据集

Collatz C1 certified bundle (K=18, P=64, d∈[-20,6]) — J=20 FINAL

收藏
Zenodo2026-01-04 更新2026-05-26 收录
官方服务:

资源简介:

This deposit contains the certified C1 proof bundle for the Collatz conjecture based on an honest-cylinder finite-state semantics at modulus 2^18 with phase schedule Δ[r] (included in the bundle as delta_P64.dat) and deficit band d∈[-20,6] (J=20). Main file: - bundle_C1_K18_J20_FINAL.zip Manifest: - artifacts_C1_J20.json (SHA256, parameters, file list) Verifier: - verify_C1_K18_J20.py (prints “[THEOREM VERIFY] OK” on success) Reproduction (single command): python verify_C1_K18_J20.py --bundle bundle_C1_K18_J20_FINAL.zip --artifacts-json artifacts_C1_J20.json The full SHA256 table is included in the preprint (preprint.pdf) and the manifest.

提供机构:
Zenodo
创建时间:
2026-01-02
二维码
社区交流群
二维码
科研交流群
商业服务