Un système agentique fondé sur Gemini, développé par Google DeepMind avec des chercheurs de l’Université de Cambridge, a découvert des règles d’accélération compactes pour 11 machines de Turing à six états jusque-là non analysées. Le système a examiné 1 094 machines BB(6), en a retenu 52 pour une étude approfondie, puis a formellement vérifié 11 nouveaux résultats. Les preuves ont été rédigées en Lean 4, ce qui permet de contrôler chaque étape logique indépendamment de la fiabilité du modèle. Ces règles décrivent le comportement des machines, baptisées provisoirement « Cryptids », mais ne déterminent pas encore si elles s’arrêtent ou s’exécutent indéfiniment.
Source: Lire l’article original
Avertissement : ce contenu est fourni à titre d’information uniquement et ne constitue pas un conseil en investissement. Les cryptomonnaies sont très volatiles : vous pouvez perdre tout votre capital. Faites toujours vos propres recherches. Mentions légales
