alt Hacker NewsYou get $100 billion for an AI X that generates the proofs, $100 billion for an AI Y that explains the proofs and another $100 billion for an AI Z that reads Y's output and appreciates it.
Humans meanwhile scrub the floor and write blog posts about "what a time to be alive".
> Humans meanwhile scrub the floor and write blog posts about "what a time to be alive".
I'm pretty sure we already have machines to do both of these.