L'IA brise les barrières perçues en recherche mathématique

Le chercheur Raghu Meka examine l'influence des barrières perçues dans la recherche en informatique théorique et en mathématiques. Selon lui, des convictions académiques, souvent transmises oralement, ont longtemps découragé les scientifiques de poursuivre certains sujets. Des assertions telles qu'une méthode est impossible, qu'un algorithme particulier mènerait à des résultats théoriques majeurs, ou qu'une complexité heuristique rend un problème infranchissable, finissent par devenir des vérités tacites. Cette inertie a conduit de nombreux chercheurs à abandonner des pistes prometteuses bien avant d'en explorer les potentialités. Les récentes résolutions de problèmes complexes par l'intelligence artificielle illustrent ce phénomène. Bien que brillantes, ces réponses s'appuient sur des concepts familiers. Leur succès récent invite à questionner la part d'auto-censure qui a freiné l'innovation. Meka souligne que le coût de ne pas accepter une barrière est désormais bien inférieur à celui de la respecter passivement, d'autant que les outils computationnels modernes offrent des capacités supplémentaires pour explorer des territoires considérés comme stériles. Cette analyse s'appuie sur son parcours doctoral. Alors qu'il présentait un résultat mineur, un collègue de l'auditoire, Adam Klivans, a posé une question pertinente. Jugée trop ardue à cause de limites méthodologiques supposées, elle n'a pas été approfondie sur le moment. Elle s'est néanmoins révélée cruciale quelques années plus tard dans la résolution d'une énigme centrale du domaine. Meka reconnaît que sa propre progression a été lente, mais que le soutien de ses mentors lui a permis de persévérer en lui rappelant que l'absence de résultats immédiats ne reflète pas une incapacité inhérente. Face à l'essor des modèles d'IA, il met en garde contre la tentation d'imposer de nouvelles limites aux contributions humaines. Il recommande de préserver la curiosité scientifique, de remettre en question les obstacles réputés inamovibles avec moins de déférence et de favoriser un environnement de recherche optimiste. En associant l'intuition humaine aux nouvelles capacités computationnelles sans se laisser dicter le périmètre du possible par le folklore académique, la communauté scientifique peut redécouvrir des problématiques fondamentales et accélérer les avancées théoriques.