A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

 (github.com)

1 points | by michaelpreid1 8 hours ago ago

2 comments