cahlen/zaremba-transitivity-cuda

Zaremba Transitivity Verification

Checks if the Zaremba generators {1,...,5} act transitively on (Z/pZ)^2 \ {0} for each prime p.

Usage

import torch
from kernels import get_kernel

kernel = get_kernel("cahlen/zaremba-transitivity-cuda")
result = transitivity.check(primes)

Compile (standalone)

nvcc -O3 -arch=sm_90 -o zaremba_transitivity transitivity/check_transitivity.cu -lm

Results

All computation results are open:

• Website: bigcompute.science
• Datasets: huggingface.co/cahlen
• Source: github.com/cahlen/idontknow

Citation

@misc{humphreys2026bigcompute,
  author = {Humphreys, Cahlen},
  title = {bigcompute.science: GPU-Accelerated Computational Mathematics},
  year = {2026},
  url = {https://bigcompute.science}
}

Human-AI collaborative. Not peer-reviewed. All code and data open.