OpenAI affirme que ses modèles ont généré le 18 octobre 2026 une preuve de la conjecture du lissage local, ouverte depuis 1991, dans toutes les dimensions. Selon l’entreprise, ce résultat résout également les conjectures de Kakeya et de Stein, le cas en deux dimensions du lissage local ayant été démontré en 2019 et celui de Kakeya en trois dimensions en 2025. La preuve a été formalisée le lendemain dans Lean, un assistant de preuve qui vérifie chaque étape, puis publiée sur GitHub avec une explication en langage naturel. Ce travail constitue l’élément central d’une publication plus vaste comprenant plus de 700 prépublications mathématiques générées par IA.
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
