#### Human-level theorem:

Human-level theorem:

decomposes into XXXX raw axioms <exponential factor>

to combinators: XXXX [large factor]

to combinators: XXXX [large factor]

#### Mathematician might be aware of thousands of theorems [and know many others exist]

Mathematician might be aware of thousands of theorems [and know many others exist]

#### In physics, we are aware of a certain region of space (+ branchial space)

In physics, we are aware of a certain region of space (+ branchial space)

In math we have a coarse-graining / abstraction of lots of emes; similarly physics

### Entailment cone

Entailment cone

Mathematicians pick out particular theorems [ which they coarse grain removing ornamentation ]

Physical observers coarse grain quantum states + spacetime positions

Physical observers coarse grain quantum states + spacetime positions

“This theorem” : really a cloud

“This electron” : how many distinct states?