Niet-uitgebracht Anthropic-model boekt vooruitgang bij Riemann-hypothese

Anthropic heeft aangekondigd dat een nog niet uitgebracht model aanzienlijke vooruitgang heeft geboekt met de Riemann-hypothese, een beroemd onopgelost probleem over priemgetallen dat al meer dan 150 jaar standhoudt. Een medewerker van Anthropic zonder significante wiskundige opleiding gaf het model de opdracht om een bewijs te proberen en liet het daarna een dag en een half de taak coördineren. Het model testte 650 verschillende ideeën, coördineerde over 60 subagenten en besteedde in totaal 31 miljoen tokens. Twee van de subagenten ontwikkelden de belangrijkste wiskundige ideeën, terwijl anderen ideeën bijdroegen, probeerden maar faalden om nieuwe te ontwikkelen, dienden als validators of hielpen met het schrijven van het artikel. Twee huiswiskundigen van Anthropic bevestigden de bevindingen, en het bewijs werd geformaliseerd met behulp van de open-source bewijsassistent Lean. Dit maakt deel uit van een reeks wiskundige doorbraken door grote taalmodellen, waaronder opgeloste Erdős-problemen en andere resultaten van het 'Astra'-model van OpenAI en de weerlegging van het Jacobiaans vermoeden door Anthropic. De groeiende hoeveelheid resultaten heeft zowel enthousiasme als bezorgdheid opgeroepen, waarbij sommige wiskundigen zich zorgen maken over de attributie en verantwoordelijkheid voor bewijzen, terwijl Fields-medaillewinnaar Timothy Gowers suggereert dat de verandering misschien minder problematisch is dan het lijkt.