alt Hacker NewsHenry Yuen's (whose work problem 6 builds on) comments on this are worth reading IMO: https://bsky.app/profile/henryyuen.bsky.social/post/3ms2jpch...
Replies
an0malous • today at 6:40 PM
It sounds like he hasn't verified the results of a problem that he has personally worked on, so how many of these problems have actually been verified?
➕ show 2 replies
This starts to feel like chess engines. It’s obvious their play is superior but it’s impossible for humans to understand the moves.