logoalt Hacker News

nilknyesterday at 8:44 PM1 replyview on HN

You are assuming that the latter, once autonomously discovered and verified at scale, could not simply be translated into the former, also perhaps autonomously at scale (or otherwise selectively as determined by human interest, taste, and relevance).


Replies

varjagyesterday at 8:47 PM

Well we're literally discussing a human readable machine generated proof here yet you don't seem happy with that.

show 1 reply