Pick a question. We'll prove the answer.
Awkronos formalizes mathematics nobody has formalized before. Every theorem is machine-checked in Lean 4. Every result gets its own interactive page. You pick the question. We do the math.
Eight projects shipped so far, spanning gemstone optics, quantum photonics, behavioral finance, streaming algebra, curling physics, college counseling, longevity science, and combinatorial optimization. Each one started with a single question from a single person.
Shipped projects
Every project is live. Click to see the math.
Jill — Gemstone Optics
Audrey — The Mathematics of Curling
Kristi — Combinatorial Optimization
Eisler — Quantum Photonics
Becky — Behavioral Finance
Robert — Streaming Algebra
Erika — College Counseling
Katie — Five Habits for a Long Good Life
How it works
You bring a question. It can be anything with a number in it. A physics problem, a financial model, a biological system, a game, a sport, a bet you want to settle. If there is math underneath, we can formalize it.
We scope and prove. We read the literature, write the Lean 4 theorems, and machine-check every claim. The Lean kernel trusts nothing. If the proof compiles, it is correct.
We build the page. An interactive scrollytelling site at yourname.awkronos.com that walks through the mathematics. Charts, animations, the full proof chain. Designed to make anyone lean forward.
You own it. The theorems, the code, the page. Full ownership. An Ed25519-signed certificate attests the proof hash. The page stays in the archive permanently.
Investment
Scoped individually based on the depth of the mathematics.
The first conversation is always free. We scope together, then you decide.
What's your question?
Every project in the archive started with someone saying "I've always wondered..." or "nobody has ever proved..." or "can you formalize this paper?" Tell us yours.