cahlen/zaremba-conjecture-data

该数据集包含与Zaremba猜想相关的计算证明框架数据，包括转移算子谱数据、Dolgopyat收缩轮廓、谱间隙计算和表示计数。这些数据通过人机协作生成，支持Zaremba猜想的计算证明框架（非完整证明）。数据集包含多个配置文件，如dolgopyat-profile和representation-counts，分别提供精确的Dolgopyat轮廓和表示计数数据。数据集未经独立同行评审，但经过AI审核与已发表文献对比。

This dataset contains computational proof framework data related to Zarembas Conjecture, including transfer operator spectral data, Dolgopyat contraction profile, spectral gap computations, and representation counts. The data supports a computational proof framework (not a completed proof) for Zarembas Conjecture, produced through human-AI collaboration (Cahlen Humphreys + Claude). The dataset includes configurations such as dolgopyat-profile and representation-counts, providing exact Dolgopyat profiles and representation counts. The dataset is not independently peer-reviewed but has been AI-audited against published literature.