zlacker

>>nl+(OP)
Are you kidding? This is an incredible result. Stuff like this is the most important stuff happening in AI right now. Automated theorem proving? It's not too far to say the entire singular point of the technology was to get us to this.

>>Comple+Kn
(We detached this subthread from >>46094763 .)