Deepmind usa AlphaProof Nexus para resolver problemas matemáticos abertos
AlphaProof Nexus, baseado no Gemini 3.1 Pro e na linguagem Lean, resolveu nove problemas de Erdős e 44 conjecturas do OEIS, com estudo publicado na…
Tag
Science
1 artigo
Domingo, 8 de novembro de 2026
Em alta
Tag
1 artigo
AlphaProof Nexus, baseado no Gemini 3.1 Pro e na linguagem Lean, resolveu nove problemas de Erdős e 44 conjecturas do OEIS, com estudo publicado na…
Os anúncios da Adsterra já podem carregar e usar cookies ao abrir o site. Você pode aceitar ou personalizar a exibição. Saiba mais.
O Google Analytics só mede visitas após sua autorização. “Aceitar cookies” permite essa medição; “Personalizar cookies” separa as escolhas.