Nova era dokazivanja
ChatGPT 5.2 u proteklih tjedan dana riješio tri Erdőseva matematička problema
U prvom tjednu ove godine OpenAI-jev najnoviji jezični model uspješno je kreirao matematičke dokaze za Erdőseve probleme #728, #729 i #397, što je potvrdio i slavni matematičar Terence Tao