A IA está ficando boa em matemática. Eis o porquê.
O ensaio relata que um modelo interno da OpenAI refutou a conjectura da distância unitária de Erdős (aberta desde 1946), provou a conjectura do Cycle Double Cover e resolveu mais dez problemas abertos — e analisa o porquê: os modelos buscam em profundidade com verificadores automatizados, trocando tempo por computação, de modo que pistas comuns se tornam acionáveis e tentativas fracassadas viram pistas negativas. Citando o matemático da OpenAI Jacob Tsimerman, a IA pode jogar por mais tempo e em águas mais traiçoeiras que os matemáticos sem se sobrecarregar. Importa como estrutura para prever quais problemas a IA resolverá a seguir.
FONTES
- Latent Space2026-10-23 15:19