Algorytm sztucznej inteligencji AlphaGeometry firmy Google DeepMind rozwiązuje złożone problemy geometryczne na poziomie mistrza olimpiady matematycznej.

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.

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