IA
DeepMind AlphaProof Nexus resuelve 9 problemas de Erdos
El framework combina Gemini 3.1 Pro con el compilador Lean para demostrar conjeturas abiertas hace décadas, a un costo de inferencia de pocos cientos de dólares por problema.
The Decoder
Etiqueta
#lean
1 nota publicada
Etiquetas relacionadas
Otros temas que aparecen junto a #lean en nuestra cobertura editorial.