Anthropic's ongepubliceerde model boekt vooruitgang bij belangrijk wiskundig probleem

De Riemann-hypothese, een van de beroemdste onopgeloste problemen in de wiskunde over de verdeling van priemgetallen, blijft al meer dan 150 jaar onopgelost, met een prijs van 1 miljoen dollar voor een bewijs. Anthropic heeft aangekondigd dat een niet-openbaar model opmerkelijke vooruitgang heeft geboekt, waarmee de ondergrens van de oplossingen waarvoor de hypothese bekend is te gelden aanzienlijk wordt verhoogd. Een medewerker met beperkte wiskundige achtergrond stelde voor dat het model het probleem zou proberen en liet het vervolgens de taak de komende anderhalve dag coördineren. Gedurende die tijd probeerde het model 650 oplossingspaden, coördineerde het 60 subagenten en verbruikte het 31 miljoen uitvoertokens. Van de subagenten ontwikkelden er 2 hoofd-wiskundige oplossingen, genereerden er 13 nieuwe varianten voor die agenten, probeerden er 30 maar slaagden er niet in nieuwe ideeën te produceren, fungeerden er 13 als validators en hielpen er 2 bij het schrijven van de oorspronkelijke paper. Het resultaat werd geverifieerd door twee wiskundigen van de staf en geformaliseerd in de bewijsassistent Lean. In de afgelopen jaren hebben AI-modellen verschillende problemen van Pál Erdős opgelost, waarbij het Astra-model van OpenAI er tien oploste en een ander Anthropic-model een al lang bestaande Jacobiaanse hypothese weerlegde. Deze prestaties wekken zowel enthousiasme als bezorgdheid in de wiskundegemeenschap over auteurschap en verantwoordelijkheid voor de juistheid, waarbij sommigen beweren dat stellingen niet noodzakelijkerwijs aan specifieke onderzoekers moeten worden gekoppeld.