Marco teórico para autoaprendizaje en demostración de teoremas Descubre el marco teórico para algoritmos de auto-play que logran crecimiento exponencial de teoremas probados, con mejora de diversidad usando similitud de difusión. 2026-06-02 · 2 min
