TU/e-wiskundige lost zestig jaar oud probleem op met AI

Een wiskundig raadsel uit 1965 is opgelost. Tom Verhoeff van de TU Eindhoven bewees het met hulp van kunstmatige intelligentie (AI). Een nieuwer AI-model vond daarna zelfstandig een veel korter en duidelijker bewijs. Volgens Verhoeff laat dat zien hoe snel AI zich ontwikkelt.Verhoeff is gepensioneerd wiskundige en informaticus. Stel je een rij dansers voor van wie sommigen dezelfde kleur kleding dragen. Steeds wisselen twee buren van plek. Kun je zo elke mogelijke opstelling precies é&eac