Interactive Epistemic Systems Model

AI Proof Churn vs. Generative Inquiry Simulator

"Working on problems has usually led to the asking of yet more questions and the creation of new areas of study. If AI just churns out proofs, that might not happen" — The Economist
Model Presets
Live Parameters
0.85
Propensity to treat conjectures as inert proof obligations
0.30
Probability of spawning open sub-questions during discovery
12
3
Status: Verified Proof Churn Bottleneck
Stagnation Index: 0.74
Root Problem
Spawned Inquiry
Emergent Subfield
Inert Closed Proof
Proofs Generated 142 Deductive closures
Questions Spawned 19 Heuristic branches
Subfields Created 3 New study domains
Stagnation Index 0.74 Inert proof density
Simulation Telemetry: Nodes: 164 | Links: 163 | Active Graph Clustered
Model dynamic: High automated proof churn without interrogation compresses field growth into isolated proof sinks.
Enjoy this tool? Build your own with Super