If you have thoughts on the following (or impossibility intuitions), I’m all ears!
- Proof engines that avoid superlinear slowness
- Translating large proofs into compact proofs
- Translating compact proofs into human-understandable insights
- Properties and assumptions that imply multipolarity in the steady state
- Unbounded utility functions that prefer an anti-inductive world
- Decision theories that make subject-object shifts
- Measuring performative power in complex systems