Onderwerp

wiskunde

Alle berichten in wiskunde.

Schoolbord vol wiskundige notaties
21 oktober 2026 · Technologie & operations

AI vindt zelfstandig korter bewijs voor zestig jaar oud wiskundig probleem

Een gepensioneerde wiskundige van de TU Eindhoven heeft met behulp van AI een aanzienlijk korter bewijs gevonden voor een vermoeden dat in 1965 werd geformuleerd. Het oorspronkelijke bewijs besloeg ongeveer 150 pagina’s en meer dan 100.000 regels code; het nieuwe blijft onder de dertig pagina’s en ongeveer 35.000 regels. Het kortere bewijs werd door het model zelfstandig gevonden, zonder dat het het lange bewijs had gezien.

Nicolaas
Uitgelicht · Business Plus-partners Ook hier staan met jouw bedrijf? Word Business Plus →