согласно определению ИИ в этой статье/исследовании, открытие кривых STARK mnt4/mnt6 можно считать ИИ
435