Our mission

The map of reality

Every square is one thing the structure of reality has to account for, from counting and the golden ratio to proteins and minds. A square fills in when its result is derived from the foundation. The map grows as the work reaches new ground.

things to derive
…
derived in full
…
derived, given a premise
…
partly derived
…
open walls
…

Loading the map

What the colours mean

Statuses come from the institute’s proved results and are updated every hour. An item counts as derived only when its whole result is proved.