Justin Sun a lancé un prix de mathématiques avec une touche intéressante : il récompense non seulement les personnes qui résolvent des problèmes difficiles, mais aussi celles qui peuvent transformer des preuves mathématiques en formats que des machines peuvent vérifier.
Ce deuxième volet devient de plus en plus pertinent à mesure que les mathématiques recoupent l’IA et la vérification formelle.
Une preuve qui paraît convaincante pour un humain doit néanmoins être traduite en une structure précise que des logiciels peuvent examiner étape par étape. Rendre ce processus plus simple pourrait aider à relier la recherche mathématique traditionnelle à des systèmes capables de vérifier automatiquement le raisonnement.
Le prix cible donc deux aspects distincts du même problème : trouver la solution et rendre la preuve vérifiable par machine.
C’est une orientation intéressante à une époque où les systèmes d’IA sont de plus en plus utilisés pour le raisonnement mathématique, mais la vérification reste tout aussi importante que la génération d’une réponse. $TRX
$SOL
Ce deuxième volet devient de plus en plus pertinent à mesure que les mathématiques recoupent l’IA et la vérification formelle.
Une preuve qui paraît convaincante pour un humain doit néanmoins être traduite en une structure précise que des logiciels peuvent examiner étape par étape. Rendre ce processus plus simple pourrait aider à relier la recherche mathématique traditionnelle à des systèmes capables de vérifier automatiquement le raisonnement.
Le prix cible donc deux aspects distincts du même problème : trouver la solution et rendre la preuve vérifiable par machine.
C’est une orientation intéressante à une époque où les systèmes d’IA sont de plus en plus utilisés pour le raisonnement mathématique, mais la vérification reste tout aussi importante que la génération d’une réponse. $TRX
$SOL
