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.
alt Hacker News
That's how computers work so it can't be any other way if you're generating proofs with AI.