Google DeepMinds AI-systemer kan nå løse komplekse matematikkproblemer

1. Google DeepMind har utviklet to AI-systemer, AlphaProof og AlphaGeometry 2, som kan løse komplekse matematiske problemer som involverer avansert resonnement. 2. Disse systemene arbeidet sammen for å løse fire av seks problemer fra Den internasjonale matematikk-olympiaden (IMO), og vant en sølvmedalje. 3. Dette er første gang et AI-system har oppnådd en så høy suksessrate på disse typene problemer. 4. Matematiske problemer som involverer avansert resonnement er vanskelige for AI-systemer fordi de krever å danne og trekke på abstraksjoner, kompleks hierarkisk planlegging og å sette undermål. 5. AlphaProof er et system basert på forsterkelseslæring som trener seg selv til å bevise matematiske uttalelser i det formelle programmeringsspråket Lean. 6. Gemini AI er fintunet til å automatisk oversette matematiske problemer fra naturlig språk til formelle uttalelser, og skaper en stor bibliotek av formelle matematiske problemer. 7. Automatisering av denne prosessen er et stort fremsteg for matematiske samfunnet, og tillater større tillit til korrektheten av publiserte resultater og mer samarbeid. 8. AlphaGeometry 2 ble optimalisert for å takle geometriproblemer og ble trent på betydelig mer syntetisk data enn sin forgjenger. 9. To anerkjente matematikere kontrollerte systemenes innsendinger og tildelte dem totalt 28 poeng av en maksimal 42, noe som ville gi en menneskelig deltaker en sølvmedalje. 10. Å skape AI-systemer som kan løse mer utfordrende matematiske problemer kan åpne opp for spennende menneske-AI-samarbeid og hjelpe oss til å lære mer om hvordan mennesker takler matematikk.