# what stays open

**What stays open**

To make it rigorous for minds or governments, someone has to write down a formal model: an agent is a theory, and its beliefs are its theorems. Inside that model the arrogance result is exact. Whether real minds or institutions fit the model is a separate claim.

Connects to:
- [the AI version](https://mapideas.org/i/h_ai)
- [who said it](https://mapideas.org/i/h_said)
- [a test for claims](https://mapideas.org/i/c_test)

Source: https://mapideas.org/i/h_open · open on the map: https://mapideas.org/#h_open