Algorytm sztucznej inteligencji AlphaGeometry firmy Google DeepMind rozwiązuje złożone problemy geometryczne na poziomie mistrza olimpiady matematycznej.
DeepMind
System sztucznej inteligencji o nazwie AlphaGeometry, opracowany przez brytyjską firmę Google DeepMind, wykazał zdolność do rozwiązywania problemów geometrycznych porównywalnych z poziomem złotych medalistów Międzynarodowej Olimpiady Matematycznej (IMO), prestiżowego konkursu dla uczniów szkół średnich.
Co wiadomo
Według badaczy DeepMind, AlphaGeometry była w stanie rozwiązać 25 z 30 problemów testowych IMO w ciągu 4,5 godziny. Wynik ten jest porównywalny ze średnią wydajnością ludzkich zwycięzców olimpiad.
Porównanie wydajności AlphaGeometry, poprzedniego modelu i medalistów IMO
System łączy w sobie dwa różne podejścia:
- neuronowego modelu języka, który generuje intuicyjne pomysły;
- mechanizm dedukcji symbolicznej, który weryfikuje pomysły przy użyciu logiki formalnej i reguł.
Model językowy oparty jest na tej samej technologii, co wyszukiwarka Google i systemy rozumienia języka naturalnego. Mechanizm dedukcji jest inspirowany metodą opracowaną przez chińskiego matematyka Wen-Tsün Wu w 1978 roku.
Eksperci twierdzą, że odkrycia wskazują na postęp w rozwoju inteligencji maszynowej zdolnej do logicznego rozumowania i odkrywania nowych spostrzeżeń matematycznych. Uznają jednak ograniczenia AlphaGeometry.
Niemniej jednak w przyszłości takie systemy mogą znaleźć szerokie zastosowanie w celu przyspieszenia badań naukowych w matematyce, naukach ścisłych i innych dziedzinach, uważa DeepMind. W tym celu opublikowali kod źródłowy AlphaGeometry w serwisie GitHub.
Źródło: Nature
