Paul Erdos made like 10000 conjectures that nobody cares about.

It's completely unsurprising that a bot would solve a few if not many.

That's what mathematicians have used computers for since they invented them.

Of course a computer can arrange dots better than a mathematicians from 1946. jfc.

This reasoning is contained in a 125-page document, which the company has not fully released.

I'm shocked.