Le fondateur de Cardano pèse la percée mathématique d'OpenAI

Le fondateur de Cardano, Charles Hoskinson, a déclaré le 9 septembre que l'intelligence artificielle avait progressé davantage dans les mathématiques formelles qu'il ne l'avait prévu.

Hoskinson a déclaré que les progrès mathématiques de l'intelligence artificielle avaient considérablement dépassé ses attentes antérieures exprimées publiquement.

OpenAI affirme qu'environ 10 000 agents ont produit une solution aux équations de Navier–Stokes en 88 heures de travail au total.

Clay continue de classer les équations de Navier–Stokes comme non résolues en attendant publication, révision et acceptation mathématique générale dans le monde aujourd'hui.

Hoskinson a soulevé des préoccupations de confidentialité pour les chercheurs entrant des travaux non publiés dans des systèmes d'IA centralisés en ligne.

OpenAI a nié avoir accès à des travaux privés mais n'a pas pu exclure que des données d'utilisation dé-identifiées influencent les améliorations du modèle.

Ses commentaires ont suivi l'affirmation d'OpenAI selon laquelle un système interne avait produit une solution au problème du prix du millénaire des équations de Navier–Stokes.

Lors d'une diffusion, Hoskinson a qualifié les capacités rapportées de "plutôt remarquables". Cependant, il a également abordé des questions non résolues concernant la provenance du travail et la confidentialité des recherches soumises aux services d'IA basés sur le cloud.

Hoskinson a déclaré qu'il s'attendait à ce que les systèmes formels aident des équipes plus importantes de mathématiciens à collaborer et à vérifier les preuves écrites par des humains. Il ne s'attendait pas à ce que de grands modèles de langage génèrent eux-mêmes des preuves complètes si rapidement.

"Nous n'avons jamais anticipé l'ampleur de l'arrivée de l'IA", a déclaré Hoskinson. Il a ajouté que l'idée qu'une IA écrive entièrement une preuve semblait auparavant "assez lointaine".

Hoskinson a un lien direct avec la recherche en mathématiques formelles. En 2021, il a fait un don de 20 millions de dollars à l'Université Carnegie Mellon pour établir le Hoskinson Center for Formal Mathematics, selon l'annonce de l'université.

Ses derniers commentaires s'inscrivent également dans l'expérimentation plus large de Cardano avec l'intelligence artificielle. Comme l'a précédemment rapporté crypto.news, Hoskinson a défendu les expériences d'agents IA de Cardano impliquant des communications, des activités communautaires et l'écosystème Midnight axé sur la confidentialité.

OpenAI a publié sa recherche le 8 septembre. La société a déclaré qu'un modèle interne avait coordonné environ 10 000 agents et produit une solution proposée après 88 heures. GPT-6 Astra a ensuite passé 17 heures supplémentaires à formaliser et vérifier l'argument dans Lean.

La preuve tente d'établir qu'un fluide initialement lisse et stationnaire peut développer une singularité en un temps fini lorsqu'il est soumis à une force externe lisse. OpenAI a déclaré que cela satisfait les énoncés C et D dans la formulation officielle du prix du millénaire.

La société a également publié un article analytique et du code Lean. Une formalisation Lean fournit une vérification vérifiable par machine que les étapes encodées découlent des hypothèses énoncées. Elle n'établit pas indépendamment que chaque définition et hypothèse représente avec précision le problème mathématique prévu.

OpenAI a déclaré qu'elle ne prévoyait pas de demander le prix associé d'un million de dollars. Néanmoins, la société a décrit son travail comme une résolution du problème.

L'Institut de mathématiques Clay continue de qualifier le problème de Navier–Stokes de "non résolu". Son site Web n'avait pas reconnu la preuve proposée par OpenAI comme une solution acceptée au moment du rapport.

Clay n'accepte pas les solutions proposées par des soumissions directes. Selon ses règles, une solution doit apparaître dans une publication qualifiée. Au moins deux ans doivent ensuite s'écouler, et le travail doit obtenir une acceptation générale de la communauté mathématique mondiale.

Ce processus signifie que l'annonce d'OpenAI et la preuve formelle ne constituent pas une reconnaissance institutionnelle immédiate. Les mathématiciens doivent examiner si la construction satisfait l'énoncé précis du problème et si son utilisation de la force externe répond à la question telle qu'elle est généralement comprise.

L'annonce a également suscité des interrogations impliquant le mathématicien de l'Université de New York, Tristan Buckmaster, et le chercheur d'Anthropic, Levent Alpöge. Les chercheurs avaient travaillé sur un résultat lié aux équations d'Euler en utilisant une approche de forçage.

Buckmaster a remis en question si le travail privé entré dans le système Codex d'OpenAI aurait pu contribuer au résultat de l'entreprise. Il s'est abstenu d'alléguer une mauvaise conduite prouvée, en disant : "Je ne sais pas si nos données ont été utilisées."

OpenAI a nié avoir accès à leur travail spécifique. Cependant, la société a déclaré qu'elle ne pouvait pas complètement exclure la possibilité que des données dé-identifiées issues de l'utilisation de leur produit aient aidé à améliorer ses modèles. OpenAI a maintenu que sa preuve avait été développée indépendamment et différait du travail des chercheurs.

Hoskinson a soutenu que le différend devrait concerner les chercheurs traitant des idées non publiées. Il a déclaré que les chercheurs utilisant des services d'IA centralisés devraient considérer si les invites, notes et journaux de recherche restent confidentiels.

La prochaine phase impliquera un examen public du document d'OpenAI et de la formalisation Lean. Jusqu'à ce que des spécialistes examinent les hypothèses et que les conditions formelles de Clay soient remplies, le travail reste une solution revendiquée plutôt qu'une résolution reconnue.

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.