OpenAI je u maju 2026. objavio da je njihov AI model disprovao Erdősovu hipotezu o udaljenosti jedinice, problem u diskretnoj geometriji koji je zbunjivao matematičare skoro osam decenija.
Ovaj rezultat predstavlja prvi autonomni dokaz velikog matematičkog problema od strane AI sistema, što je izazvalo oduševljenje u matematičkoj zajednici. AI je koristio sofisticirane tehnike kombinovanja matematičkih oblasti kako bi kreirao dokaz, koji su potom ljudski matematičari dodatno razradili i potvrdili.
Erdősova hipoteza se bavila maksimalnim brojem parova tačaka na ravni koje su udaljene tačno jednu jedinicu, a AI je otkrio složeniji način organizacije tačaka koji premašuje ranije pretpostavljene granice.
Ovaj napredak označava novu eru saradnje između AI i ljudskih matematičara, gdje AI može preuzeti složene i zamorne zadatke, dok ljudi usmjeravaju istraživanja i postavljaju nova pitanja.
Očekuje se da će ovakvi AI sistemi u budućnosti značajno transformisati matematička istraživanja i možda promijeniti ulogu čovjeka u toj oblasti.
