Where do you want to start?

The site hosts 37 research papers — too many to read linearly. Pick one of the three paths below. Each is a curated sequence that gets you to a useful understanding in about an hour.

I want to understand the thesis

Start with the Latent framework
  1. The Latent: Finite Sufficient Representations of Smooth Systems
See the methodology collection →

I want to see the hardest problems

Millennium & Smale problems
  1. Toward Dimension-Independent Finiteness of Central Configurations for Positive Masses: A Scope-Audited Reduction with Named Open Bridges
  2. Toward the Riemann Hypothesis: A Superquadratic-Growth Framework for Zeta Moments and its Limits
Browse all problems →

I want machine-verified results

Papers with Lean 4 proofs
Browse the proof catalog →

Not sure yet?

Browse the Collections for themed reading lists, the Problems page for open questions the research targets, or the Graph for a visual map of how every paper connects to every other.