Inteligencia IAOct 12, 2026Inteligencia IA
Artigo
O AlphaProof Nexus do Google DeepMind resolveu dezenas de problemas matemáticos em aberto, incluindo nove problemas de Erdős…
…dois dos quais não eram resolvidos há 56 anos, de acordo com um estudo na Science. A publicação ocorre enquanto a OpenAI enfrenta um boicote por despejar provas de IA no GitHub sem revisão por pares.
Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA
Gerado por IAFonte: The Decoder
01
Brief da fonte
O AlphaProof Nexus do Google DeepMind resolveu dezenas de problemas matemáticos em aberto, incluindo nove problemas de Erdős, dois dos quais não eram resolvidos há 56 anos, de acordo com um estudo na Science. A publicação ocorre enquanto a OpenAI enfrenta um boicote por despejar provas de IA no GitHub sem revisão por pares.
02