Enorme databases zetten wiskundigen op het pad naar een bewijs

In de aritmetische statistiek, een jong vakgebied binnen de wiskunde, staat de statistiek van gehele getallen' centraal. Tegenwoordig worden vermoedens deels gebaseerd op enorme databases, maar het geven van bewijzen blijft mensenwerk.