OpenAI soumet trois affirmations de recherche sur l'IA à un examen académique
aiinsider ·
OpenAI a soumis trois affirmations de recherche générées par l'IA, portant sur les mathématiques, l'informatique et la physique, à un examen académique indépendant. Cette initiative vise à déterminer comment les scientifiques peuvent vérifier que le raisonnement de l'IA soutient de véritables découvertes plutôt que de simples réponses convaincantes. En informatique, des experts dont Ryan Williams examineront une affirmation selon laquelle l'hypothèse du temps exponentiel est réfutée. Des mathématiciens évalueront une preuve concernant la conjecture du lissage local, qui traite du comportement des ondes à travers les dimensions. Des physiciens dirigés par David Gross évalueront des preuves d'existence revendiquées pour des théories de champ quantique, telles que la chromodynamique quantique. Pour soutenir cette vérification, OpenAI a fourni des démonstrations mathématiques vérifiées à l'aide du logiciel Lean, garantissant ainsi la rigueur logique. Bien que ces efforts fournissent des preuves plus solides que les explications standard, les chercheurs doivent toujours interpréter les résultats et leurs implications plus larges.
aiinsider