OpenAI Math Ispat: 377 Ispat Discussion Création

Des centaines d'études mathématiques produites avec le modèle d'intelligence artificielle de OpenAI ont lancé une nouvelle discussion dans le monde des sciences. La collection annoncée le 6 octobre 2026 de la société a soulevé la question de savoir combien de recherches mathématiques peuvent être exécutées par l'intelligence artificielle. Sommaire OpenAI preuve mathématique La discussion n'est pas seulement sur le succès du modèle; comment les résultats sont corrigés, comment les scientifiques accèdent à ces études et comment la contribution humaine sera maintenue dans le processus de recherche.

De plus, le retrait de trois articles après la première annonce a montré concrètement pourquoi l'intelligence artificielle est importante pour examiner indépendamment les résultats mathématiques.

OpenAI Math Ispat Development Pourquoi dans l'agenda?

OpenAI a publié des résultats mathématiques produits par un modèle interne dans un magasin public GitHub. La première annonce de la société 722 article et 372 résultat famille Elle a été incluse. La famille de résultats peut couvrir les principaux articles recueillis autour du même résultat de base, des études supplémentaires ou d'autres preuves. Donc 722 article ne signifie pas la découverte mathématique indépendante de 722.

Nouvelles Le nombre de 377 est la même valeur que la famille de 372 résultats dans l'annonce officielle de OpenAI l. Il est nécessaire de ne pas utiliser deux nombres au lieu de l'autre. Les articles inclus dans la première collection vont de la théorie des nombres à des domaines géométriques et différents de l'informatique théorique.

OpenAI a également partagé des articles et certains fichiers de preuves pour examiner les résultats. Annonce de Remî de la société ces études offrent la recherche mathématique comme une étape pour accélérer.

Que peut faire l'intelligence artificielle?

Les modèles d'intelligence artificielle ne sont plus disponibles pour appliquer seulement des formules connues ou répondre à des questions mathématiques. Les chercheurs peuvent également aider à développer de nouveaux arguments, essayer différentes façons de résoudre et examiner des relations mathématiques complexes.

Le partage de OpenAI indique que cette capacité sera utilisée à grande échelle. Mais avec l'avance de résoudre un problème spécifique d'un modèle, la communauté des mathématiques est différentes choses que la vérification. Les hypothèses de diarrhée, les étapes logiques et la relation avec les études antérieures devraient être examinées par des experts.

La principale chose ici est que l'intelligence artificielle ne peut pas produire des résultats en mathématiques, donc il passera par un processus d'évaluation, comment ces résultats se transforment en informations fiables. Un grand nombre d'études ne peuvent pas seulement prouver le progrès scientifique; il est nécessaire de comprendre et de revérifier les résultats.

Pourquoi Mathians devrait-il répondre aux publications OpenAI?

Dans la salle des réponses, comment des centaines d'études ont été publiées en peu de temps et comment le processus de recherche est réalisé. Évaluer une preuve mathématique, non seulement pour décider si le texte est lu et le résultat n'apparaît pas en persuasif. Les méthodes utilisées par les experts doivent examiner en détail si les étapes intermédiaires et les résultats sont vraiment nouveaux.

Le Math and Artificial Intelligence Group (AGMAI) hébergé par l'Institut d'études avancées a déclaré que l'impact scientifique de la publication ne sera pas encore pris en compte. Selon le groupe, l'ouverture publique des résultats n'est que le point de départ pour les experts humains de les comprendre et d'ajouter des connaissances mathématiques.

L'AGMAI a également déclaré clairement que le rôle de consultation ne devrait pas être interprété comme OpenAI a approuvé la méthode de diffusion. Groupe 6 octobreLa valeur scientifique des résultats souligne que la responsabilité de l'évaluation incombe à la communauté mathématique.

Les chercheurs appellent OpenAI

La discussion a dépassé les évaluations techniques. Association pour les Mathématiques Humaines (AHM) a invité OpenAI à mettre fin à son travail avec la compagnie de mathématiciens en éliminant les déménagements de radiodiffusion le 6 Octobre. L'organisation a exprimé ses préoccupations au sujet de la détermination du programme de recherche, du format d'intérêt pour les processus de découverte mathématique de problèmes ouverts et de la façon dont les progrès scientifiques partagent l'intérêt public.

AHM description du resmî La critique dominante est que des centaines de dossiers ne peuvent pas compter seulement l'indicateur de succès scientifique. L'organisation soutient que la compréhension humaine et le syndicat de travail universitaire restent au centre de la recherche mathématique.

Cet appel ne signifie pas que tous les mathématiciens trouvent les résultats incorrects. Le principal différend porte sur la façon dont l'intelligence artificielle peut être utilisée dans la recherche scientifique et sur la mesure dans laquelle la communauté des mathématiques sera promise dans ce processus.

Pourquoi trois articles ont-ils été retirés?

Magasin de maths de OpenAI Selon l'historique du changement et les résultats inexacts publiés, la société retire trois articles après une erreur de signe en octobre 7. L'erreur touchait l'argument dans une étude et deux articles y étaient liés. La société a également indiqué qu'il y avait des corrections dans d'autres articles.

Ce développement ne signifie pas que tous les résultats mathématiques produits par l'intelligence artificielle sont erronés. Toutefois, il montre que l'exactitude d'une allégation doit également être vérifiée. Même un bug qui apparaît petit dans une preuve, un autre résultat basé sur cette étape peut être vide.

Les détails du retrait et des corrections sont inclus dans l'historique du magasin de maths OpenAI.

Comment l'intelligence artificielle s'arrange - t - elle?

En plus de l'examen d'experts pour la vérification en mathématiques Vérification automatique du code et systèmes d'épreuve tels que Lean Home peut être utilisé. Une preuve dans ces systèmes est exprimée par la manière dont l'ordinateur peut contrôler dans le cadre de certaines règles. Ainsi, la cohérence des étapes logiques peut être testée plus systématiquement.

Il n'est pas la même chose d'évaluer toutes les allégations, la valeur de l'innovation et l'importance scientifique d'un article avec vérification formative. La portée des preuves contrôlées par l'ordinateur ne peut pas être couverte par la portée du résultat transmis dans l'article. C'est pourquoi il est important de savoir ce que la méthode de vérification utilisée est couverte.

OpenAI offre un début utile pour examiner les fichiers formatifs partagés, mais il ne montre pas que tous les résultats sont approuvés par des experts indépendants. La confiance scientifique est renforcée par les experts du contrôle technique et des résultats.

Les mathématiciens de l'intelligence artificielle peuvent-ils prendre place?

Les études publiées par OpenAI montrent que la capacité de l'intelligence artificielle à contribuer à la recherche mathématique doit être prise au sérieux. Mais la recherche ne consiste pas seulement à produire des réponses. Choisir la bonne question, comprendre pourquoi le problème est important, tester la solution et associer les résultats aux connaissances actuelles fait partie de l'étude scientifique. Cette discussion, le rôle de l'homme dans le processus d'intelligence artificielle et d'exploration mathématique En termes d'importance, des questions importantes se posent.

La principale mesure au cours de la prochaine période est que l'intelligence artificielle produit quelques résultats, combien ces résultats peuvent être vérifiés indépendamment et comment les chercheurs peuvent en bénéficier. OpenAI math proof discussion rappelle la transparence, l'accessibilité et la fiabilité ainsi que la vitesse décisive dans le progrès scientifique.