Formal Verification in AGI Architecture

help edit space_dashboard
Draft — This content has not been approved for publication.

← Back to Publications

Integrating Formal Verification into an AGI Cognitive Architecture

Authors: Z. Goertzel, B. Goertzel et al.
Year: 2025
Venue: AITP 2025 (MeTTaMath)
Links: No stable public abstract link added yet

Summary

A paper on integrating formal proof and verification tooling into a broader AGI architecture rather than treating theorem proving as a sealed-off specialist domain. In the current Hyperon wiki it is the clearest publication-level anchor for the MeTTaMath direction and for the idea that formal proof objects should participate in general cognitive workflows.

Relevance to Hyperon

This paper connects most directly to Applications+Mathematics and secondarily to the broader symbolic stack described in MeTTa Full. It is important because it frames theorem proving not as a side application but as a test case for integrating rigorous symbolic verification into an AGI system.

Key References



Discussion