OpenAI affirme que son système d'IA a réfuté l'hypothèse du temps exponentiel dans 3-SAT. La réclamation est en cours d'examen ; Sa limite vérifiée par Lean est plus faible que le résultat le plus précis du document et ne justifie pas une attaque Bitcoin pratique.
OpenAI affirme que son système d'IA a réfuté l'hypothèse du temps exponentiel dans 3-SAT. La réclamation est en cours d'examen ; Sa limite vérifiée par Lean est plus faible que le résultat le plus précis du document et ne justifie pas une attaque Bitcoin pratique.
Plus sur Radar
Envie de voir tous les signalements en temps réel ?
Des centaines de sources dans le monde, traduites dans votre langue, avec des alertes sur ce qui compte pour vous.
Inscription gratuite Déjà inscrit ? Connexion