IA
AlphaProof Nexus de DeepMind resuelve nueve problemas de Erdős
El sistema de Google DeepMind, construido sobre Gemini 3.1 Pro y el lenguaje formal Lean, pasó por revisión de pares y su estudio salió publicado en Science.
The Decoder
Etiqueta
#alphaproof
1 nota publicada
Etiquetas relacionadas
Otros temas que aparecen junto a #alphaproof en nuestra cobertura editorial.