OpenAI publie 372 preuves mathématiques générées par l'IA sur GitHub
decoder ·
OpenAI a publié sur GitHub 372 résultats mathématiques générés par un modèle d'IA interne, dans le but de résoudre ou de faire progresser des problèmes ouverts tels que ceux liés à l'hypothèse de Riemann. Ces preuves ont été produites principalement à l'aide d'une seule invite et d'un agent, chaque résultat nécessitant environ trois heures de calcul via ChatGPT Pro. Pour faire face au volume écrasant de sorties qui pourrait mettre à rude épreuve les processus de révision manuelle, de nombreuses preuves incluent des formalisations en Lean pour une vérification machine-checkable. L'entreprise a choisi GitHub plutôt que les revues académiques traditionnelles à comité de lecture, signalant ainsi que la publication académique conventionnelle est trop lente pour ce rythme de découverte. Bien qu'OpenAI ait consulté un groupe consultatif comprenant des médailles Fields, les mathématiciens n'ont eu aucun pouvoir décisionnel concernant la vitesse ou la quantité de production des résultats. Les réactions au sein de la communauté mathématique sont divisées, allant de l'enthousiasme à la frustration face aux implications de ces preuves produites en masse. Des critiques, dont 25 lauréats de la médaille Fields, mettent en garde contre le fait que la focalisation sur les résultats de résolution de problèmes pourrait compromettre la compréhension conceptuelle et l'inspiration authentique. Par conséquent, il existe des craintes que l'expansion rapide de la littérature générée par l'IA finisse par dépasser la capacité de compréhension humaine.
decoder