👀 L'IA devient maintenant un contributeur compétent aux mathématiques de niveau recherche… lentement, puis tout à la fois