Всего через 2 дня AI доказал новую теорему в алгебраической геометрии