Open computational mathematics. AI-audited, not peer-reviewed. All code and data open for independent verification.
All Experiments
GPU-accelerated exploration of open conjectures. Every experiment has CUDA source, reproduction commands, and open data.
Class Numbers of Real Quadratic Fields: Extending Tables to 10^13 on 8× B200
Class numbers h(d) for 30 billion real quadratic fields across [10^9, 10^11]. h=1 rate falls monotonically: 42% → 17% → 15.4%. Goes to 0, not 75% (genus theory). Odd-part convergence to Cohen-Lenstra ...
Kronecker Coefficients: Pushing the Frontier to n=120 on 8× B200
Complete Kronecker coefficient tables for S_20 (32.7M nonzero, 3.7s) and S_30 (26.4B nonzero, 7.4 min) on NVIDIA B200. Complete S_40 character table (37,338 partitions, 1.394B entries, 9.5 hr) with ta...
Ramanujan Machine: GPU-Accelerated Discovery of Continued Fraction Formulas
586 billion polynomial CFs evaluated through degree 7 on B200 GPU — zero confirmed transcendental formulas. All matches algebraic (sqrt(2), sqrt(5), phi). 30 compound false positives at deg 7. Need GP...
Ramsey R(5,5): Exhaustive Extension Search on 8x B200
Strongest computational evidence that R(5,5) = 43. All 656 known K42 colorings UNSAT. Structural attack toward R(5,5) <= 45 in progress.
MCTS vs. Naive Sampling for LLM Theorem Proving: Planned Benchmark
Planned benchmark comparing Monte Carlo Tree Search vs naive sampling for LLM theorem proving in Lean 4.
Flint Hills Series: Partial Sums to 10^{10} with Spike Decomposition
Partial sums of the Flint Hills series computed to 10 billion terms with quad-double precision. Spike decomposition reveals 91% of the sum comes from 19 convergent spikes.
Hausdorff Dimension Spectrum: All Subsets of {1,...,20}
Hausdorff dimension computed for every non-empty subset of {1,...,20} — 1,048,575 subsets in 4,343 seconds on RTX 5090. Validated against Jenkinson-Pollicott.
Lyapunov Exponent Spectrum: All Subsets of {1,...,20}
Lyapunov exponents for all 1,048,575 non-empty subsets of {1,...,20}, computed in 305 seconds on RTX 5090. Twin dataset with the Hausdorff dimension spectrum.
Minkowski ?(x) Singularity Spectrum
Multifractal singularity spectrum f(alpha) of the Minkowski question-mark function, computed via weighted transfer operator in 4.9 seconds on RTX 5090.
Zaremba's Conjecture: 210 Billion Verified in 116 Minutes on 8× NVIDIA B200
GPU verification of Zaremba's Conjecture for all d up to 210 billion (zero failures), plus spectral gap analysis, transitivity proof, and LLM theorem proving in Lean 4.
Transfer Operator for Zaremba's Conjecture: Hausdorff Dimension to 15 Digits
Hausdorff dimension of E_5 computed to 15 digits (0.836829443681208). Spectral gaps for 1,214 square-free moduli, all positive. Property (tau) computationally supported (not proven).