OpenAI a publié une vaste collection de recherches mathématiques produites par un modèle d'IA de frontière interne, y compris des travaux sur des problèmes qui ont défié les mathématiciens professionnels pendant des années.
La société a annoncé la sortie le 6 octobre, disant que les résultats couvrent un large éventail de mathématiques et sont publiés ouvertement pour examen par les chercheurs.
La collection publique contient 722 manuscrits organisés en 372 familles de résultats connexes, selon la communauté de développeurs d'OpenAI. Les travaux sont ressortis d'une évaluation portant sur environ 4 000 problèmes mathématiques.
La Verge rapporte que la collection couvre des centaines de résultats mathématiques générés par un modèle de frontière non libéré. Mais la publication ne signifie pas que chaque revendication doit être immédiatement traitée comme un fait mathématique établi. Les chercheurs devront examiner les preuves et déterminer l'importance et la nouveauté des résultats individuels.
Une caractéristique particulièrement importante est que OpenAI a fourni des formalisations de nombreuses épreuves en utilisant Lean, un langage de programmation qui permet de vérifier les preuves mathématiques par ordinateur. La société dit que des formalisations supplémentaires seront ajoutées au fil du temps.
OpenAI a également révélé une mesure frappante de l'informatique en cause. En moyenne, chaque résultat exigeait un calcul équivalent à environ trois heures de ChatGPT Réflexion pro en utilisant le modèle interne.
La publication suit des revendications de plus en plus dramatiques sur la capacité de l'IA à contribuer aux mathématiques. En septembre, OpenAI a déclaré que le même effort de recherche plus large avait résolu plus de 100 problèmes ouverts de longue date, incitant l'entreprise à travailler avec un groupe indépendant de mathématiciens éminents sur la façon dont ces découvertes devraient être examinées et communiquées.
Ce groupe consultatif comprend des mathématiciens d'établissements dont Stanford, Harvard, Oxford, Cambridge, Berkeley et l'Institut d'études avancées. Son rôle n'est pas simplement d'approuver le travail d'OpenAI, mais de conseiller de façon indépendante sur l'importance, les normes de recherche et la divulgation responsable.
La plus grande question va maintenant au-delà de savoir si l'IA peut répondre à des questions mathématiques difficiles.
Si les mathématiciens indépendants vérifient finalement des parties importantes de ce travail, la nouvelle frontière pourrait être si l'IA peut découvrir régulièrement les mathématiques que les humains ne savaient pas déjà.
