Математики спорят с Open AI об авторстве научного открытия на $1 млн.: кто из них решил важную задачу человечества?