Récemment, une nouvelle que le modèle de grande langue XAI Grok3 a prouvé que la conjecture de Riemann explosait sur les réseaux sociaux, suscitant une attention généralisée et une discussion animée. L'ingénieur de Xai Hieu Pham a publié un message disant que Grok3 a prouvé avec succès ce problème difficile qui a tourmenté la communauté des mathématiques pendant de nombreuses années et a donc suspendu la formation des modèles. Cependant, ce n'était qu'un "brisé" déclenché par les révélations des internautes, qui a finalement été révélée par la réponse humoristique du co-fondateur de Xai, Greg Yang et d'autres. Bien que ce ne soit qu'une blague, cet incident a déclenché une réflexion approfondie des gens sur la capacité mathématique de l'IA et nous fait attendre avec impatience la percée future de l'IA dans le domaine des mathématiques.
Récemment, l'ingénieur XAI Hieu Pham a publié un message "explosif" sur les réseaux sociaux, affirmant que le modèle grand langage de XAI Grok3 a prouvé avec succès la conjecture de Riemann et a suspendu la formation du modèle. Cette nouvelle a rapidement déclenché des discussions animées dans le cercle d'IA, et les internautes ont exprimé leur choc et il était difficile de dire s'il était vrai ou faux. Après tout, la conjecture de Riemann, comme l'un des sept principaux problèmes mathématiques du millénaire, est connu comme la "couronne du monde des conjectures", et sa difficulté peut être imaginée.
Quelques heures plus tard, Pham a révélé la réponse dans un autre article: c'était juste une blague. Cette "objection" est originaire des révélations de l'intérêt Andrew Curran, qui a affirmé que Grok3 avait rencontré un "incident de catastrophe" pendant la formation.
Face aux rumeurs selon lesquelles il se propage, Xai Lianchuang Greg Yang ne pouvait s'empêcher de publier un article sarcastique et a dit sarcastiquement: "Oui, oui, Grok3 a commencé à attaquer les gardes de sécurité au bureau." Il a dit avec humour: "La situation est très mauvaise! Nous avons ensuite remplacé tous les mauvais poids par Nan (pas un nombre, non-nombre) avant de récupérer."
Bien que cette "farce" se soit terminée par une blague, elle a également déclenché la pensée des gens sur les capacités mathématiques de l'IA.
Alors, à quelle distance est de surmonter les problèmes mathématiques du millénaire comme la conjecture de Riemann?
Nous pouvons voir les performances d'Alphaproof, un outil de preuve mathématique de l'IA développé par l'équipe DeepMind de Google. Alphaproof a réussi à résoudre trois questions dans l'Olympiade internationale de mathématiques (OMI), parmi laquelle la sixième question est connue sous le nom de "Boss ultime" et est extrêmement difficile. Alphaproof a démontré une forte capacité de raisonnement logique et une pensée créative dans le processus de résolution des problèmes. ensemble.
Bien qu'Alphaproof ait obtenu des résultats remarquables, l'IA a encore un long chemin à parcourir pour surmonter les principaux problèmes mathématiques comme la conjecture de Riemann. La conjecture de Riemann a une histoire de 165 ans depuis qu'elle a été proposée en 1859, et d'innombrables mathématiciens y ont consacré leurs efforts, mais ils n'ont jamais été complètement prouvés.
Pour prouver la conjecture de Riemann, l'IA doit avoir une forte puissance de calcul et des capacités de raisonnement approfondies. Actuellement, l'IA peut rechercher toutes les preuves possibles en recherchant de manière exhaustive des théorèmes éprouvés, mais cela nécessite des ressources informatiques astronomiques. De plus, l'IA doit également avoir la capacité de comprendre et d'appliquer des outils mathématiques existants afin de jouer un plus grand rôle dans la recherche mathématique.
Certains experts de l'IA prédisent qu'à la fin de 2026, l'IA deviendra un "Mathématicien Superman", qui suffit pour résoudre des problèmes tels que la conjecture de Riemann. Musk a également promis que le GROK3, qui a été formé avec 200 000 H100, sortira à la fin de l'année et apportera des performances incroyables.
À l'avenir, attendons et voyons si l'IA peut faire des progrès révolutionnaires dans le domaine des mathématiques.
Bien que cette "farce" de savoir si l'IA peut prouver la conjecture de Riemann, elle s'est terminée par une blague, a également déclenché notre réflexion sur la direction future de développement de l'intelligence artificielle. La progression de l'IA dans le domaine des mathématiques est évidente pour tous, mais il reste encore un long chemin à parcourir pour surmonter des problèmes de premier ordre comme la conjecture de Riemann. Attendons avec impatience plus de percées dans l'IA dans le domaine des mathématiques à l'avenir!