A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4github.com/MyceliaCognition2 pointsmichaelpreid12 months ago