← Back to context

Comment by jrflo

6 hours ago

It doesn't look like they've found an error in the NL proof either, just that they are different?

0 comments

jrflo

Reply

No comments yet

Contribute on Hacker News ↗