Kontrprzykład
Model OpenAI obalił 80-letnią hipotezę matematyczną. To kamień milowy. Ale pokazuje nam on dokładnie to, co sztuczna inteligencja potrafi, a czego nie potrafi.
Problem był prosty. Umieść kropki na płaszczyźnie. Ile par może znajdować się w odległości jednej jednostki od siebie? Paul Erdős przypuszczał, że konkretna siatka jest najlepszym sposobem na osiągnięcie tego celu. To przypuszczenie przetrwało 80 lat.
AI obaliła to przypuszczenie. Nie wymyśliła nowego sposobu myślenia. Znalazła wzorzec, budując sieć w wyższych wymiarach i rzutując ją z powrotem w dół. Znalazła konkretny układ, którego siatka nie jest w stanie dorównać.
Ten sukces ujawnia dwie konkretne zalety AI:
- Przeszukiwanie wolne od uprzedzeń: Ludzie często przestają szukać kontrprzykładu, jeśli wierzą, że teoria jest prawdziwa. AI nie posiada takich przekonań. Poluje nawet wtedy, gdy ludzie się poddają.
- Ekstremalna wytrzymałość: Ludzie racjonują swoją uwagę. Porzucamy strategie, które zajmują zbyt dużo czasu lub nie przynoszą szybkich efektów. Model przechodzi przez setki nieudanych prób, nie męcząc się.
AI wykorzystała również szerokie pole działania. Połączyła teorię liczb algebraicznych z geometrią dyskretną. Większość ludzi specjalizuje się w jednej dziedzinie. Model posiada wiedzę z literatury wszystkich dziedzin jednocześnie. Nawiązuje połączenia, które specjalista mógłby przeoczyć.
Jednak nie jest to wynalazek. Model nie stworzył nowego narzędzia matematycznego. Wykorzystał istniejącą matematykę, aby znaleźć wynik w ramach istniejących struktur. Przeszukiwał zdefiniowaną przestrzeń w poszukiwaniu obiektu spełniającego znane reguły.
Prawdziwy wynalazek matematyczny jest inny. Polega na zdolności do stworzenia nowej przestrzeni, nowych ograniczeń lub nowego języka.
Prawdziwym testem dla AI nie jest to, ile starych problemów rozwiąże. Prawdziwym testem jest to, czy model stworzy definicję lub metodę, którą matematycy przyjmą jako własną.
Dopóki model nie wygeneruje nowej struktury, pozostaje potężnym narzędziem wyszukiwania, a nie twórcą. Przewagą maszyny jest to, że nie wierzy w to, w co my wierzymy, i nie męczy jej szukanie.
Źródło: https://dev.to/thesythesis/the-counterexample-hd2
Opcjonalna społeczność edukacyjna: https://t.me/GyaanSetuAi