theo định nghĩa về AI trong bài viết/nghiên cứu này, việc phát hiện các đường cong STARK mnt4/mnt6 có thể được coi là AI
421