Google DeepMinds AI-systemer kan nu løse komplekse matematikproblemer

1. Google DeepMind har udviklet to AI-systemer, AlphaProof og AlphaGeometry 2, som kan løse komplekse matematikproblemer, der involverer avanceret resonnering. 2. Disse systemer arbejdede sammen om at løse fire ud af seks problemer fra Den Internationale Matematisk Olympiade (IMO), hvilket indbragte dem en sølvmedalje. 3. Dette er første gang, et AI-system har opnået så høj en succesrate på disse typer problemer. 4. Matematikproblemer, der involverer avanceret resonnering, er vanskelige for AI-systemer, fordi de kræver, at man danner og trækker på abstraktioner, kompleks, hierarkisk planlægning og fastsætter undermål. 5. AlphaProof er et system baseret på forstærkelseslæring, som træner sig selv til at bevise matematiske udsagn i det formelle programmeringssprog Lean. 6. Gemini AI er finjusteret til at oversætte matematikproblemer fra naturligt sprog til formelle udsagn, hvilket skaber en stor bibliotek af formelle matematikproblemer. 7. Automatisering af denne proces er et stort skridt frem for matematiksamfundet, hvilket muliggør større tillid til, at offentliggjorte resultater er korrekte, og mere samarbejde. 8. AlphaGeometry 2 blev optimeret til at tackle geometriproblemer og blev trænet på væsentligt mere syntetisk data end sin forgænger. 9. To anerkendte matematikere kontrollerede systemernes indsendelser og tildelte dem i alt 28 point ud af en maksimal 42, hvilket ville give en menneskelig deltagers en sølvmedalje. 10. At skabe AI-systemer, der kan løse mere udfordrende matematikproblemer, kan banke vej for spændende menneske-AI-samarbejder og hjælpe os med at lære mere om, hvordan mennesker håndterer matematik.