Il y a un an, je ne m'attendais pas à ce que le premier domaine académique à sembler parvenir à un consensus selon lequel les IA accéléreront la recherche (ce qui n'est pas la même chose que la recherche autonome) soit les mathématiques. Mais cela semble se produire d'après les professeurs de mathématiques dans mon fil d'actualité et ailleurs.

J'ai franchi un seuil intéressant hier, ce que je pense que de nombreux autres mathématiciens ont également franchi récemment. Au milieu de mes tentatives pour prouver un résultat, j'ai identifié une affirmation qui semblait vraie et qui, si elle était vraie, me serait utile. 1/3

Je crois fermement que nous sommes à un moment charnière dans l'histoire des mathématiques. Dans les années à venir, l'utilisation des LLM pour la recherche mathématique deviendra courante, tout comme la formalisation Lean, facilitée par les LLM. (1/4)