Czy AI gra w geometrię?

Na początku 2024 roku model AlphaGeometry rozwiązywał zadania z geometrii Euklidesowej na poziomie ,,przeciętnego'' złotego medalisty olimpiady matematycznej. Sukces ten był efektem wieloletniej pracy, sięgającej korzeniami jeszcze roku 2016, kiedy model AlphaGo pokonał jednego z najlepszych graczy Go na świecie, Lee Sedola (9 dan). W trakcie wykładu opowiem o kulisach przełomowych dokonań firmy DeepMind, argumentując, że dla AI nauka starochińskiej gry planszowej nie różni się wiele od rozwiązywania geometrycznych łamigłówek.