What is known
Read the atlas
Fifty-one published concept notes with recorded sources. Depth varies by topic; selected notes include mathematics, code, or interactive figures.
Open the AtlasAtlas · Lab · Research · VerifyFour existing surfaces · continuity not yet established
Independent open research project · testing a path from learning to research
Carry one difficult AI idea toward a defensible next move.
Begin with an exact object. Use the Atlas to build a working model of it, the Lab to commit to a prediction, the browser-local Research workbench to frame a falsifiable question, and Verify to interrogate submitted evidence. All four surfaces exist today; whether a non-maintainer can carry one object across them without losing the thread remains unestablished.
Interrogate submitted evidence
Current release instrument. It reads the scores and declarations you provide. It does not observe or verify the run, source data, pairing provenance, leakage, selection history, harness equality, or the truth of the declarations.
- Object
- Prerequisite
- Prediction
- Witness
- Evidence
- Invariant
- Next move
What you can test
Commit to a prediction
Investigations that take your answer before showing the calculation. No score, streak, or account; some browser-local predictions can be saved for your return.
Enter the LabWhat is not yet known
Follow an open question
One question is admitted; its protocol-lock work is parked and empirical evidence is none. Other mapped directions remain unadmitted.
Browse research questionsWorked example · Transformer systems
What gets smaller when four query heads share one memory?
One worked example from the wider atlas. Predict the memory effect, inspect the calculation, then connect the result backward to attention and forward to serving.
Attention head sharing
One mechanism, still sealed
Thirty-two query heads enter a sealed head-sharing comparison. The changed quantity and calculated result are not shown.
- Head diagram
- Equation
- Code
- Calculated result
The evaluated count and memory stay sealed until you lock in a guess or choose Just show me.
Test this worked example
About two minutes · saved in this browser only if you lock in a prediction
The rule every notebook follows
One idea, carried through four representations.
Curated routes
Follow a question, not a catalog.
Foundations First
Build the mathematical language needed for modern model training.
Transformer Systems
Move from attention mechanics to long-context inference decisions.
Frontier Notebooks
Use the foundations to inspect generation, alignment, and representations.
51 published notebooks