frontiermath

Dyskusja o AI w matematyce kręciła się wokół benchmarków, zadań olimpijskich i efektownych dem. Teraz OpenAI twierdzi, że jego wewnętrzny model obalił hipotezę Paula Erdősa z 1946 roku dotyczącą problemu odległości jednostkowych w płaszczyźnie. Brzmi grubo, nawet jak na branżę, która lubi nadmuchane komunikaty. Różnica polega na tym, że tym razem za ogłoszeniem stoją konkretne nazwiska i dopracowanie wyniku przez matematyków.

Sztuczna inteligencja jest przedstawiana dziś jako rozwiązanie niemal uniwersalne, które ma się sprawdzić nie tylko do generowania obrazów i wideo, ale i pomóc w skomplikowanych problemach, czy też w zadaniach domowych z różnych przedmiotów. Obecne testy wskazują, że modele AI radzą sobie całkiem dobrze w różnych dziedzinach, takich jak matematyka. Jednak nowy test, który sprawdza umiejętności na wyższym poziomie, pokazuje, że na tym polu AI wypada przeciętnie.