DeepMind: 34 pruebas falsas pasaron el filtro de Lean 4
7 de septiembre del 2026 a las 6:11 pm PDT
