Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning
The episode discusses Eigenius, a typed knowledge-graph database designed to verify scientific claims by enforcing strict rules at data recording. Hosts discuss its 'Epistemic Stratification,' which assigns statuses like 'Verified' to information, and how it unifies empirical observations and mathematical proofs into a single, coherent system.