News for hackers. Stuff that matters.
Re:If math is more than proof, we need to better celebrate t... by ax1234k on Saturday September 19, 2026 @09:16AM (#49766356)
You 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".

Re:If math is more than proof, we need to better celebrate t... by karmakurtisaani on Saturday September 19, 2026 @10:22AM (#49766800)
> 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.