Start with a question. Follow the evidence.
Mathematics starts with something a person wants to understand. These projects connect questions to models, references, and proof work. Each page carries its own evidence and boundaries.
Explore gemstone optics, quantum photonics, behavioral finance, streaming algebra, curling physics, college counseling, longevity science, and combinatorial optimization. Start with the subject that interests you.
Questions to explore
Open a project to read its question, model, and supporting evidence.
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
polya. · math for humans
Find the move your proof needs. Polya is the first surface of the Awkronos for humans campaign. Its prototype remains private.
Describe the goal. People choose the question and check that the statement says what they mean.
Inspect the strategy. Read what a proof move gives, what it needs, and where its boundary is. AI can propose a move; it does not decide the verdict.
Check a real use. Lean checks the proof term. The evidence names the revision, command, and axioms used.
Keep judgment human. A checked term does not decide whether the statement fits the question or the result is new. Those are human reviews.
Read the work at its source.
Use each project's references and recorded checks to understand what it establishes. Missing or older evidence remains visible.