July 20, 2026 • A race started by President Trump is leading to the rapid construction of new, experimental nuclear reactors. If they work, they could power data centers for artificial intelligence.

This repository contains my independent proof writeups and bounded computational experiments for the MIT PRIMES/CrowdMath 2026 project on arithmetic conjectures for rational semirings. The focus is on ...