| ▲ | MajorArana 5 hours ago | |
So mathematics has entered the “throw stuff to a board and see if it sticks” phase.. | ||
| ▲ | measurablefunc 4 hours ago | parent [-] | |
That's how computers work so it can't be any other way if you're generating proofs with AI. | ||
| ▲ | MajorArana 5 hours ago | |
So mathematics has entered the “throw stuff to a board and see if it sticks” phase.. | ||
| ▲ | measurablefunc 4 hours ago | parent [-] | |
That's how computers work so it can't be any other way if you're generating proofs with AI. | ||