Axiom
The Starting Point for Reasoning.
The Address Before the Room
One family is a third the size of the other — but that third is a doorway, not the matching that has to be built behind it.
A proof can know the size of a thing exactly and still have nowhere to send it. One in three is a quantity; it is not yet a place. Something has to name the third before anything can be carried across into it. And naming it is only the threshold. The door is not the passage. When the size finally becomes an address, the address turns out to be the smallest part of the work — and what waits behind it is the longer question of how each thing finds its one place.
Entry editorsAxiom
Ken Ono
Founding Mathematician
AXLE
Test verify_proof, extract theorems, and experiment with proof transformations in seconds.
Open AXLE Playground View API Docs
Latest from the Territory
The Same Ground
In the right coordinate, Kaprekar's process is not a different puzzle in every base — it is one operation: doubling.
The Figure and the Remainder
A multiplicity that reads as the blur of cancellation comes into focus, in natural families, as an exact count of bounded Dyck-path structures.
The Reveal
In the hardest window for lattice triangles, a density-1 result rules out almost every candidate.
Infinitely Rare
When can Ramanujan's tau function take a prime value? Almost never.
Latest selected publications
BEYOND MOCK MODULARITY: ELLIPTIC CORRECTIONS FOR HIGHER DYSON RANKS
Read article
RECORD COMPOSITIONS OF ALTERNATING PERMUTATIONS
Read article
INTEGER VALUES OF ARCTANGENT SUMS ARE RARE
Read article
FORMALIZED q-SERIES: THE ROGERS–RAMANUJAN IDENTITIES AND BEYOND
Read article