OpenAI publie un article de 249 pages : Un modèle d'inférence de pointe résout dix problèmes mathématiques majeurs en une seule fois

OpenAI a publié le 31 juillet une collection de recherches de 249 pages, dévoilant dix avancées dans ses modèles d'inférence de pointe dans le sens des mathématiques avancées et de l'informatique théorique. Le plus frappant est que le modèle a résolu un célèbre problème mathématique ouvert qui n'avait pas été résolu auparavant au moyen d'une méthode "en une seule tentative", sans nécessiter de multiples tentatives ni d'intervention manuelle. De "être capable de résoudre des problèmes" à "être capable de faire avancer de manière indépendante des problèmes ouverts", c'est peut-être la démonstration la plus tangible du modèle de raisonnement évoluant vers une "recherche mathématique autonome".

Dix progrès et dépassement du "Single Shot"

La collection couvre les deux principales directions des mathématiques avancées et de l'informatique théorique et contient un total de dix développements spécifiques. L'un des événements marquants a été que le modèle a résolu un célèbre problème mathématique ouvert avec une seule inférence - les paradigmes traditionnels reposent souvent sur de multiples tentatives ou sur l'assistance humaine, et "un seul coup" signifie que le modèle a poussé la qualité de l'inférence elle-même au point où elle peut être directement mise en œuvre. Tous les résultats pertinents sont open source sous la forme de preuves formelles Lean et sont accompagnés d'articles auto-écrits sur les modèles, qui sont vérifiables et reproductibles.

Compte de frais de 2 000 USD/question

Officiellement, le coût de calcul pour résoudre chaque problème mathématique est d'environ 2 000 dollars. En comparant ce compte de coûts avec le temps et l’investissement financier d’une équipe de mathématiciens humains, la différence d’ordre de grandeur est très intuitive :