AI
🇫🇷 OpenAI et Anthropic disent que leurs IA ont réfuté une conjecture clé de l'informatique théorique
OpenAI (26 octobre) et Anthropic (27 octobre) affirment que leurs modèles ont trouvé, le même 16 octobre, un algorithme sous-exponentiel pour 3-SAT, ce qui réfuterait l'hypothèse du temps exponentiel posée en 1999 par Impagliazzo et Paturi. Les preuves sont formalisées en Lean ; celle d'Anthropic n'avait été vérifiée par aucun humain à sa publication. Impagliazzo, Paturi et Wi…
1 vote / personne · anonyme