An AI has disproved five mathematical conjectures with no human help

An artificial intelligence has disproved five mathematical conjectures, despite not being equipped with any information about the problems