podle definice AI v tomto článku/studii by mohl být objev STARK křivek mnt4/mnt6 považován za AI
426