OpenAI riješio jedan od najtežih matematičkih problema