Google's AI lost 9 complexe wiskundeproblemen op

Google DeepMind heeft een nieuwe AI-agent, AlphaProof Nexus, ontwikkeld die in staat is om negen openstaande Erdős-problemen zelfstandig op te lossen. Deze problemen worden beschouwd als bijzonder uitdagend binnen de wiskunde. De AI maakt gebruik van geavanceerde taalmodellen en de formele bewijstaal Lean, waarmee het wiskundige redeneringen automatisch kan verifiëren.

In een recente publicatie wordt vermeld dat het systeem niet alleen deze negen problemen heeft opgelost, maar ook 44 van de 492 andere wiskundige vraagstukken succesvol heeft aangepakt. Dit markeert een significante vooruitgang in het gebruik van AI voor complexe wiskundige analyses en bewijzen.

Bron: AI Wereld