Google DeepMind's AI-systemen kunnen nu complexe wiskundeproblemen oplossen

1. Google DeepMind heeft twee AI-systemen ontwikkeld, AlphaProof en AlphaGeometry 2, die complexe wiskundeproblemen kunnen oplossen met behulp van geavanceerde redenering. 2. Deze systemen werkten samen om vier van de zes problemen van de Internationale Wiskunde Olympiade (IWO) op te lossen, waardoor ze een zilveren medaille verdienden. 3. Dit is de eerste keer dat een AI-systeem zulke hoge success rates heeft bereikt bij dit soort problemen. 4. Wiskundeproblemen met geavanceerde redenering zijn moeilijk voor AI-systemen omdat ze het vormen en gebruiken van abstracties, complexe hiërarchische planning en het stellen van subdoelen vereisen. 5. AlphaProof is een op versterkingsleren gebaseerd systeem dat zichzelf traint om wiskundige uitspraken te bewijzen in de formele programmeertaal Lean. 6. Gemini AI is fijn afgestemd om wiskundeproblemen automatisch te vertalen van natuurlijke taal naar formele uitspraken, waardoor een grote bibliotheek van formele wiskundeproblemen wordt gecreëerd. 7. Het automatiseren van dit proces is een grote stap vooruit voor de wiskundegemeenschap, waardoor er meer vertrouwen kan worden gesteld in de juistheid van gepubliceerde resultaten en er meer samenwerking kan plaatsvinden. 8. AlphaGeometry 2 was geoptimaliseerd om geometrieproblemen aan te pakken en was getraind op aanzienlijk meer synthetische data dan zijn voorganger. 9. Twee gerenommeerde wiskundigen controleerden de inzendingen van de systemen en kenden hen in totaal 28 punten toe uit een maximum van 42, wat een menselijke deelnemer een zilveren medaille zou opleveren. 10. Het creëren van AI-systemen die nog complexere wiskundeproblemen kunnen oplossen, kan de weg vrijmaken voor spannende mens-AI-samenwerkingen en ons helpen meer te leren over hoe mensen wiskunde aanpakken.