この記事/研究における AI の定義により、STARK 曲線 mnt4/mnt6 の発見は AI と見なすことができます
416