Een wiskundig probleem oplossen met computers

Informaticus Marijn Heule heeft van wiskundige problemen oplossen zijn werk gemaakt. Hij heeft een oplossing gevonden op een specifiek vraagstuk over de stelling van Pythagoras, waar andere geleerden jarenlang mee bezig zijn geweest. Hiervoor gebruikte hij supercomputers uit Amerika. Maar is deze methode nog wel echt wiskunde?

EenVandaag in de klas