OpenAI décline le prix de mathématiques d’un million de dollars de Justin Sun

OpenAI a refusé de réclamer un prix d'un million de dollars qui lui avait été décerné par le milliardaire de la crypto Justin Sun pour ses travaux sur les équations de Navier-Stokes. Ce refus ajoute une deuxième récompense rejetée pour un résultat qui a bouleversé à la fois le monde des mathématiques et le débat sur la recherche générée par l'IA.

Justin Sun a annoncé la création du Justin Sun Prize le 16 septembre à Genève, désignant l'équipe de recherche d'OpenAI comme premier lauréat pour ce que le prix a qualifié de « solution et preuve formalisée » du problème d'existence et de régularité des solutions des équations de Navier-Stokes en trois dimensions. Le répertoire GitHub public du prix indique que le problème est résolu et que la récompense peut être réclamée, mais les fonds n'ont toujours pas été retirés. OpenAI avait déjà déclaré qu'elle ne solliciterait pas le prix du millénaire d'un million de dollars offert par l'Institut de mathématiques Clay pour ce même problème.yellow+3

La preuve par laquelle tout a commencé

Le 8 septembre, OpenAI a annoncé que près de 10 000 agents d'IA, fonctionnant sur un modèle frontière interne non nommé, avaient produit une preuve montrant qu'un fluide régi par les équations de Navier-Stokes peut développer une singularité, c'est-à-dire atteindre une vitesse infinie en un temps fini, lorsqu'une force externe régulière est appliquée. Les agents ont travaillé pendant environ 88 heures avant que GPT-6 Astra TRON ↗ 0.00% ne consacre 17 heures supplémentaires à formaliser le résultat dans l'assistant de preuve Lean.openai+2

Le résultat concerne les parties C et D de la formulation officielle du prix du millénaire, à savoir les versions impliquant une force externe, tandis que les parties A et B, qui cherchent à savoir si un fluide sans force externe peut se dégrader de lui-même, restent ouvertes. L'Institut de mathématiques Clay a déclaré le 11 septembre que l'annonce « semble trancher la question », tout en soulignant que ses règles exigent une évaluation formelle avant toute décision d'attribution, et le problème reste répertorié comme actif.yellow+3

Le prix de Justin Sun et ses conditions

Le Justin Sun Prize fonctionne en dehors des canaux académiques traditionnels, exigeant des preuves vérifiables par machine plutôt qu'une évaluation par les pairs, et ne faisant aucune distinction entre les contributeurs humains et l'IA. « Seul le résultat m'importe, peu importe que le contributeur soit un humain ou une machine », a déclaré Justin Sun. Les paiements sont proposés en USDT sur le réseau TRON ou en USDC sur Ethereum ↗ 1.57%. La liste des prix comprend 66 problèmes pour son premier tour, parmi lesquels l'hypothèse de Riemann et la conjecture de Goldbach.coinalertnews+3

Justin Sun, fondateur de la blockchain TRON, a fait l'objet de poursuites judiciaires : la Securities and Exchange Commission des États-Unis l'a poursuivi en 2023 pour fraude présumée sur les titres, bien que l'affaire se soit conclue en mars 2026 par une pénalité de 10 millions de dollars payée par Rainberry, Justin Sun n'ayant ni admis ni nié les faits.billionaires

Des questions d'attribution en suspens

Ce prix intervient alors que des questions de paternité restent en suspens. Tristan Buckmaster, mathématicien à l'université de New York, a déclaré que des travaux non publiés qu'il avait stockés dans un produit d'OpenAI auraient pu alimenter les résultats du modèle, tout en ajoutant : « Je n'accuse personne de quoi que ce soit ». OpenAI a affirmé que son enquête avait révélé que les requêtes de Buckmaster n'auraient pas pu influencer le système ayant produit la preuve. Un éditorial de Nature publié le 16 septembre a appelé les entreprises d'IA à collaborer avec la communauté scientifique pour protéger l'attribution des travaux.nature+1