IA et Mathématiques : J'ai enfin eu un peu de temps libre pour commencer ma première tentative d'utiliser l'IA -- ChatGPT Pro -- pour un vieux problème de mathématiques que j'ai mis de côté il y a plus d'une décennie. Je suis assez rouillé sur les détails, mais l'IA ne l'est pas. Je suis déjà assez impressionné par les progrès, j'ai indiqué ma conjecture et elle a commencé à la décomposer, à faire des expériences numériques, puis à déduire des conjectures à partir de celles-ci, à les tester un peu plus, et ainsi de suite. Je ne veux pas encore révéler la question exacte sur laquelle je travaille, ni ce qu'elle m'a aidé à trouver jusqu'à présent. Et je suis moi-même un peu rouillé n'ayant pas travaillé sur des problèmes de mathématiques depuis un certain temps. Mais je peux voir comment, si j'avais été professeur de mathématiques à plein temps, cet outil aurait été inestimable. Pour ceux d'entre vous qui faites de la recherche en mathématiques pour vivre -- à quel point trouvez-vous l'IA utile dans votre travail ? Vous a-t-elle déjà aidé à résoudre l'un de vos Grands Problèmes ?