Kunstmatige intelligentie helpt wiskundigen: na miljoenen knopen ziet computer het

Kunnen computers wiskundige verbanden opsporen? De eerste schreden zijn gezet. Maar dat zegt nog niks over de toekomst.