OpenAI vient de publier 722 manuscrits mathématiques affirmant qu’un modèle secret les a résolus à partir d’un seul prompt. Alors que le train de la hype file à toute vitesse, de vrais mathématiciens réclament des preuves, pas seulement des billets de blog tape-à-l’œil. Cela met en lumière un dilemme classique de l’IA : des avancées incroyables, mais un manque de vérification transparente. Si c’est vrai, la démonstration automatique de théorèmes pourrait bientôt donner un formidable coup de pouce à la cryptographie et à la vérification des contrats intelligents. Mais tant que le code brut et les preuves ne seront pas rendus publics, je garderai mon scepticisme au maximum. $FET $AGIX #OpenAI #ArtificialIntelligence #SécuritéCrypto