Author
Yaroslav Isachenkov
0 works0 citations
Recent research
- AI & ComputingOpen access
GST Core V2: Mathematical Foundations and Lean 4 Formalization
This work presents the coherent mathematical core of Guided Symbiosis Theory (GST) and a Lean 4 formalization of its principal results. It develops the research programme introduced in the original conceptual work, The Theory of Guided Symbiosis (DOI: 10.5281/zenodo.17195102), an...