Praca matematyka nie polega na dowodzeniu twierzen (jak mysli wielu moich kolegow), ale na budowaniu abstrakcyjnych modeli rzeczywistosci tak, by przy ich pomocy moc przewidywać przyszłość. Dla takiej matematyki, zwanej czasami matematyka stosowana, AI bedzie doskonala pomocą.
Piotr Sankowski@piotrsankowski
Model o3 rozwiązał trochę ponad 25% problemów ze zbioru EpochAI Frontier Math (epoch.ai/frontiermath). Warto wspomnieć, że zadania są: - trudne i każdy problem wymaga godzin pracy od ekspertów matematyków; - nigdy wcześniej nie opublikowane, tzn. model nie mógł się ich nauczyć, - stworzony we współpracy z ponad 60 matematykami i obejmują pełne spektrum współczesnej matematyki, od geometrii algebraicznej po teorię mnogości Zermelo–Fraenkla. Niedawno jak wspominałem, że matematyka będzie pierwszą dziedziną, gdzie AI będzie nas z sukcesem wspierać w badaniach (pap.pl/aktualnosci/pr…) to trochę osób się dziwiło, a dzisiejszy dzień pokazuje, że jesteśmy na dobrej drodze do tego.
Polski
