Research
Open computational mathematics on serious hardware.
Public mathematical experiments, review trails, careful caveats, and agent-readable context.
bigcompute.science
bigcompute.science is an open computational lab notebook for mathematical experiments that benefit from serious hardware. The public work includes Zaremba's conjecture, Ramsey R(5,5), Kronecker coefficients, class numbers of real quadratic fields, Hausdorff spectra, Ramanujan Machine searches, prime convergents, Flint Hills, and more.
Every result is framed carefully: computed, archived, benchmarked, and reviewed. Not peer-reviewed. Not overclaimed. The point is to publish enough context for independent inspection.
Public numbers
Research companion
Convergent turns the lab into an AI research loop.
Exploration becomes findings. Findings become context. Context feeds the assistant that helps think about the next experiment.
Convergent-7B
An AI companion shaped around computational number theory, mathematical explanation, research planning, and the public BigCompute corpus.
convergent
The public project around turning BigCompute findings into a focused research companion and a repeatable research loop.
Experiment map
Current public domains.
A lot of this sits at the intersection of number theory, combinatorics, representation theory, spectral methods, and high-performance experimentation.
Zaremba
Continued fractions, transfer operators, spectral gaps, brute-force verification, and formal-proof experiments.
View 96yr openRamsey R(5,5)
Large-scale search around one of combinatorics' famously stubborn open questions.
View Representation theoryKronecker coefficients
Large coefficient landscapes and asymptotic evidence for geometric complexity theory adjacent questions.
View 42yr openClass numbers
Large tables for real quadratic fields and Cohen-Lenstra style empirical checks.
View Fractal geometryHausdorff spectrum
Dimensions for all non-empty subsets of {1,...,20}, with validation against known methods.
View Hugging FacePublic research releases
Models, data releases, and research companions connected to the broader BigCompute ecosystem.
Open