Comment by esafak

17 days ago

Is this a proof a human could have come up with? Is it elegant? How significant was the human contribution?

0 comments

esafak

Reply

No comments yet

Contribute on Hacker News ↗