Gabriel Attal veut en faire un outil pour accompagner les lycéens: que sait-on de MIA, l'intelligence artificielle destinée à aider les élèves en maths et en français?