Kinesiskt AI löste tio år gammalt matematikproblem på egen hand

Utrikes. Forskare vid Peking University uppger att de utvecklat ett AI-system som självständigt löst ett matematiskt problem som varit öppet i över ett decennium, enligt South China Morning Post. Resultaten presenteras i en forskningsartikel publicerad på arXiv.

Det aktuella problemet formulerades 2014 av matematikern Dan Anderson. Enligt forskargruppen kunde AI-systemet, som bygger på en så kallad dual-agent-modell, både ta fram en lösning och verifiera den utan behov av mänsklig matematisk bedömning.

Systemet består av två delar: en resonemangsagent som utvecklar möjliga bevis och en verifieringsagent som formellt kontrollerar resultaten. Genom att kombinera dessa funktioner ska AI-ramverket kunna hantera avancerade matematiska problem på forskningsnivå.

Forskarna uppger att processen slutfördes på omkring 80 timmar och att mänsklig inblandning begränsades till att tillhandahålla vissa forskningskällor. Studien har ännu inte genomgått oberoende granskning.

Utvecklingen ses som ett exempel på hur artificiell intelligens kan användas för att automatisera delar av matematiskt forskningsarbete, även om forskarna framhåller att samspel mellan människa och AI fortsatt är centralt.