Un certificado finito para la desigualdad de Vasc positiva (n=9) Descubre cómo la IA ayudó a demostrar la desigualdad de Vasc para n=9 mediante un certificado finito de 40320 conos. Un hito en colaboración humano-máquina. 2026-06-06 · 3 min
