Het Riemann-vermoeden, een van de grootste onopgeloste problemen in de wiskunde, is al meer dan 150 jaar onopgelost. Anthropic meldde dat een interne model de ondergrens van oplossingen verhoogde waarvoor het vermoeden geldt. Een medewerker zonder wiskundige training promptte het model om 'een echte poging' te ondernemen, waarna het model 650 ideeën testte met 60 sub-agents over 31 miljoen stappen.
De resultaten werden bevestigd door twee interne wiskundigen en formaliseerd met de open-source tool Lean. Dit is deel van een groeiende trend waarbij AI modellen wiskundige problemen oplossen, zoals de oplossing van verschillende Erdos-vragen en het weerleggen van de Jacobian-vermoedens.
De ontdekking heeft de wiskundige gemeenschap gespleten. Terwijl sommigen zorgen hebben dat AI de attributie van bewijzen kan ondermijnen, benadrukt Fields-medaille winnaar Timothy Gowers dat AI de wiskunde mogelijk op een complexere, positieve manier kan veranderen.
De resultaten vormen deel van een groter patroon van AI-vooruitgang in wetenschap, met voorbeelden zoals OpenAI's Astra-model en Anthropics werk aan de Jacobian-vermoedens. De impact van AI op wetenschappelijke ontdekkingen blijft een actueel onderwerp van discussie.