All Experiments

Kronecker Coefficients: Pushing the Frontier to n=120 on 8× B200

algebraic-combinatoricsrepresentation-theorygeometric-complexity-theory b200dgxnvlink

Class Numbers of Real Quadratic Fields: Extending Tables to 10^13 on 8× B200

algebraic-number-theoryclass-groupscohen-lenstra-heuristics b200dgxnvlink

Ramsey R(5,5): Searching for New Lower Bounds on 8× B200

combinatoricsramsey-theoryopen-conjectures b200dgxnvlink

MCTS vs. Naive Sampling for LLM Theorem Proving: Planned Benchmark

theorem-provingaisearch-algorithms b200dgx

Zaremba's Conjecture: Verifying 8 Billion Values on 8× NVIDIA B200

number-theorycontinued-fractionsopen-conjectures b200dgxnvlink