Wetenschappelijke ontdekkingen versnellen

“Er bestaat geen twijfel over dat de oplossing van het eenheidsafstandsprobleem een mijlpaal is in AI-wiskunde: als een mens het artikel had geschreven en het had ingediend bij de Annals of Mathematics en mij om een snelle mening was gevraagd, dan had ik zonder enige aarzeling acceptatie aanbevolen. Geen enkel eerder door AI gegenereerd bewijs kwam daarbij in de buurt.”

“De CoT van het model is buitengewoon interessant. Opmerkelijk is dat een aanzienlijk deel van de redeneerstappen probeert een tegenvoorbeeld te construeren voor de algemeen aanvaarde bovengrens, in plaats van die te proberen te bewijzen. Dit wijst erop dat het model een combinatie heeft van goede intuïtie, de bereidheid om benaderingen te proberen die door de gemeenschap als weinig kansrijk worden beschouwd, en een aanleg om constructies uit te proberen.… Naar mijn mening laat dit artikel zien dat huidige AI-modellen meer zijn dan alleen hulpmiddelen voor menselijke wiskundigen. Ze zijn in staat originele en ingenieuze ideeën te bedenken en die vervolgens succesvol uit te werken.”

“Dit is echt indrukwekkend werk, en ik zou het zonder aarzeling voor elk tijdschrift accepteren. Ik heb eigenlijk kort aan dit probleem gewerkt en geprobeerd een tegenvoorbeeld te maken, maar het lukte me niet om vooruitgang te boeken… Het is beslist een intimiderende constructie om volledig te doorgronden, zelfs als je weet wat er gebeurt, en nog moeilijker om er zelf mee aan de slag te gaan.”