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

Au lieu d'essayer de le prouver, j'ai demandé à GPT5 à ce sujet, et en environ 20 secondes, j'ai reçu une preuve. La preuve reposait sur un lemme que je n'avais jamais entendu (l'énoncé était un peu en dehors de mes domaines principaux), donc bien que je sois confiant d'y être arrivé à la fin, 2/3

le temps que cela m'aurait pris aurait probablement été de l'ordre d'une heure (une estimation qui vient avec des marges d'erreur assez larges). Il semble donc que nous soyons entrés dans l'ère brève mais agréable où notre recherche est grandement accélérée par l'IA mais où l'IA a encore besoin de nous. 3/3

PS Au cas où quelqu'un s'inquiéterait d'avoir utilisé un lemme que je n'avais jamais entendu, j'ai vérifié que le lemme n'était pas une hallucination.