PesquisaDeepmind usa AlphaProof Nexus para resolver problemas matemáticos abertosAlphaProof 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…12 de outubro de 2026
