AI kraakt wiskundepuzzel waar expert weken op vastliep
Ik las net een verhaal dat me kippenvel bezorgde. Donald Knuth, de legende achter 'The Art of Computer Programming', dropte een paper genaamd 'Claude's Cycles'. Ik moest dit meteen met jullie delen.
De nachtmerrieachtige puzzel
Stel je een driedimensionaal rooster voor met punten. Elk punt hangt vast aan drie anderen, in een strikt patroon. De opdracht: vind drie routes die elk punt precies één keer raken en alle verbindingen opmaken. Knuth loste het op voor kleintjes, maar de algemene oplossing? Die ontglipte hem wekenlang.
Claude Opus mengt zich in het gevecht
Filip Stappers, een collega, gooide de uitdaging naar Claude Opus 4.6 van Anthropic. Geen hoge verwachtingen. Maar Claude ging te werk als een echte onderzoeker. Het verdeelde de klus in 31 stappen, bouwde op van simpel naar complex. Eerst basisideeën – flop. Toen slimme wiskundige trucs, patroonherkenning en herformuleringen.
Rond stap 15 kwam de doorbraak: een 'fiber decomposition'. Slimme manier om het rooster in behapbare stukken te knippen. Geen dom rekenwerk, maar écht wiskundig vernuft.
Het grote moment
Na uren puzzelen, stap 31: jackpot. Claude bedacht een constructie die werkt voor álle oneven getallen boven de 2. Simpel code, elegant, en het klopte. Stappers testte van 3 tot 101: perfecte score, elke keer.
Waarom dit telt (en waarom niet)
Geen reden om te flippen dat AI wiskundigen overneemt. Knuth leverde zelf het bewijs. Claude spotte het patroon, maar het 'waarom' vroeg menselijk inzicht. Dit is samenwerking: AI verkent, mens bevestigt. Een topgereedschap voor de wiskundige.
De rommelige waarheid
Knuths verhaal is eerlijk. Stappers resette Claude herhaaldelijk door crashes en slordige notities. AI blijft werk: vastlopers, kapotte code. Geen feeërieke magie, maar zwoegen met verrassende uitkomsten.
Wat komt er nu?
Oneven getallen gefixt, maar even getallen? Nog open. Menselijke creativiteit blijft goud waard.
Verhalen als dit geven hoop. AI als researchbuddy: het doorzoekt opties, vindt verborgen patronen, schudt ideeën los. Knuth sloot af met: 'Petje af voor Claude!' Terecht. En petje af voor de mensen die de juiste vragen stelden.