Leonardo de Moura criou o Lean, usado pela OpenAI para verificar a solução de um dos problemas mais famosos da matemática.
Back to Science
Science
October 22, 2026 at 3:00 PM
Um brasileiro nos bastidores de uma revolução na matemática
Superinteressante
Excerpt from Superinteressante.