An AI has disproved five mathematical conjectures with no human help

Open in new window