OpenAI affirme que ses systèmes d'IA ont généré des preuves répondant à trois grands problèmes ouverts en mathématiques, en informatique et en physique. OpenAI fait appel à des experts externes pour évaluer les résultats. Des chercheurs indépendants doivent encore déterminer si les preuves sont valides et évaluer la signification des découvertes pour chaque domaine.
OpenAI a déclaré que ses modèles ont prouvé la conjecture de l'adoucissement local, un problème mathématique ancien de plusieurs décennies concernant la propagation et la concentration des ondes. La conjecture prédit que la moyenne des ondes dans le temps réduit leur intensité par rapport à leurs moments les plus extrêmes. Ce résultat résoudrait également la conjecture de Kakeya et la conjecture de restriction de Stein. La conjecture de Kakeya porte sur la taille minimale d'une forme contenant un segment de droite orienté dans chaque direction. La conjecture de restriction de Stein concerne le comportement des fréquences mathématiques des fonctions le long de surfaces courbes. OpenAI a déclaré que les modèles ont généré ce résultat le 18 octobre. OpenAI a indiqué que le résultat a été formalisé le lendemain à l'aide de Lean, un langage de vérification de preuves. OpenAI a affirmé qu'une explication en langage naturel et une preuve formelle ont été publiées sur GitHub.
OpenAI a déclaré que son système d'informatique a généré une réfutation de l'hypothèse du temps exponentiel. Cette hypothèse soutient des résultats de dureté computationnelle conditionnelle concernant les problèmes de satisfiabilité et des questions connexes en complexité computationnelle. OpenAI a indiqué que la réfutation en langage naturel a été générée le 16 octobre. OpenAI a précisé que la réfutation a été formalisée à l'aide de Lean le 17 octobre. Une équipe dirigée par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams examine le résultat. OpenAI a promis un financement pour une conférence examinant les implications possibles de ce résultat.
Un groupe de physique externe dirigé par David Gross évaluera un résultat que OpenAI décrit comme une preuve d'existence rigoureuse pour les théories quantiques des champs interactives en quatre dimensions. La preuve revendiquée couvre la chromodynamique quantique (QCD) et une extension unifiée du Modèle Standard. Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov participent également à l'évaluation. Contrairement aux projets en mathématiques et en informatique, le groupe de physique a choisi de ne pas rendre publics pour l'instant les documents générés par l'IA. Les membres du groupe se concentreront plutôt sur la rédaction de leur propre compte rendu du travail.
OpenAI a déclaré que l'entreprise teste trois méthodes pour partager la recherche générée par l'IA avec la communauté scientifique. Ces méthodes impliquent une publication immédiate, une diffusion conjointe avec des collaborateurs externes, ou la délégation à une équipe externe du contrôle sur le moment de la mise en ligne des matériaux. OpenAI sollicite des retours afin de déterminer quelle approche sert le mieux les chercheurs. Les collaborations interdisent les accords de confidentialité et les revendications de crédit académique sur les découvertes elles-mêmes. Les collaborations reconnaissent les chercheurs qui créent des explications et des matériaux de soutien. La participation est volontaire et non rémunérée, et les collaborateurs ne représentent que leurs propres opinions.
Les revendications pourraient avoir des conséquences considérables si un examen indépendant confirme les résultats, en particulier la réfutation prétendue de l'hypothèse du temps exponentiel. Cette hypothèse soutient une grande partie de la théorie moderne de la complexité computationnelle. Cette initiative soulève également des questions sur la transparence, la reproductibilité et la crédibilité des découvertes potentiellement majeures générées par l'IA pour les scientifiques.
OpenAI affirme que l'IA a résolu trois grands problèmes scientifiques en mathématiques, en informatique et en physique
BenzingaPartager
Résumé
Les actualités sur l’IA et la crypto ont émergé après qu’OpenAI ait révélé que FLASH AI avait résolu trois grands problèmes scientifiques en mathématiques, en informatique et en physique. Le système affirme avoir prouvé la conjecture de lissage local, réfuté l’hypothèse du temps exponentiel et fourni une preuve pour les théories quantiques des champs interactives en 4D. Les plateformes de suivi sur chaîne suivent l’impact tandis que des experts examinent les affirmations. OpenAI organise une conférence pour discuter des implications et de la manière de partager la recherche générée par l’IA.
Source:Afficher l'original
Clause de non-responsabilité : les informations sur cette page peuvent avoir été obtenues auprès de tiers et ne reflètent pas nécessairement les points de vue ou opinions de KuCoin. Ce contenu est fourni à titre informatif uniquement, sans aucune représentation ou garantie d’aucune sorte, et ne doit pas être interprété comme un conseil en investissement. KuCoin ne sera pas responsable des erreurs ou omissions, ni des résultats résultant de l’utilisation de ces informations.
Les investissements dans les actifs numériques peuvent être risqués. Veuillez évaluer soigneusement les risques d’un produit et votre tolérance au risque en fonction de votre propre situation financière. Pour plus d’informations, veuillez consulter nos conditions d’utilisation et divulgation des risques.