Hacker News Reader

So mathematics has entered the “throw stuff to a board and see if it sticks” phase..

That's how computers work so it can't be any other way if you're generating proofs with AI.