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 één keer langs laten komen? De Amerikaanse wiskundige D.H. Lehmer vermoedde in 1965 dat dat kan, op een paar kleine omwegen na. Een bewijs bleef uit. In 2017 loste Verhoeff al het geval met twee kl
Meer nieuws
Alles bekijken- Natuurvereniging trekt na goed gesprek bezwaar in tegen ‘meest duurzame bedrijf’ op Vosdonk-Noord
- Teamsprinters met Lavreysen pakken voor vierde jaar op rij wereldtitel
- Kermisruzie eindigde in Breda met schietpartij: ‘Er zijn afspraken gemaakt, maar geschil nog niet uit de wereld’
- Jelle D. langer vast na dood hoogbejaarde bewoners Joris Zorg in Oirschot
- Voorarrest van Jelle D. opnieuw verlengd na dood bewoners Joris Zorg
- Al ruim 50 jaar houdt deze Brabantse familie vliegtuigen in de lucht