Ein neues Verfahren namens AlphaGeometry, das auf einem künstlichen neuronalen Netz basiert, wurde entwickelt, um die Lösung von Olympia-Math-Probleme zu erleichtern.
Der Algorithmus ist in der Lage, menschliche Leistung zu überbieten und ermittelt lesbare Beweise für die gelösten mathematischen Probleme.
AlphaGeometry basiert auf einem großen Datenschatz von menschlichen Beweisen und verwendet neuronale Netze, um die Logik und Struktur der Beweise zu verstehen und zu generieren.
Die Methode hat erfolgreich getestet werden und ist in der Lage, 25 der 30 letzten Olympia-Math-Probleme zu lösen.
Die ganze Studie findet ihr hier.