Человек установил новый математический рекорд. А потом ИИ пришел за ним.