A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com) 2 points by michaelpreid1 6mo ago ↗ HN
2 comments
[ 2.3 ms ] story [ 16.5 ms ] thread