prin definiția AI din acest articol/studiu, descoperirea curbelor STARK mnt4/mnt6 ar putea fi considerată AI
423