Numina

22 juin 2026 : Numina me dit qu'elle vient de démontrer la conjecture de Goldbach en Lean à partir d'une formalisation en logique du premier ordre (que j'avais postée sur mon site le 15 mai 2022) que je lui ai fournie lien (la formalisation de 2022 lien, la démonstration par Leila Schneps (le 4 décembre 2019) que la caractérisation que je proposais était valide lien     lien)