Modelo GPT-5.6 Sol Ultra da OpenAI apresenta prova de conjectura matemática
O modelo GPT-5.6 Sol Ultra gerou uma prova para a Conjectura da Cobertura Dupla por Ciclos, um problema de teoria dos grafos aberto há 50 anos.
Pontos principais
- A prova foi gerada em menos de uma hora utilizando 64 subagentes de IA.
- A Conjectura da Cobertura Dupla por Ciclos, proposta em 1979, é um dos problemas mais famosos da teoria dos grafos.
- O modelo GPT-5.6 Sol Ultra foi disponibilizado publicamente pela OpenAI um dia antes do anúncio do feito.
- A OpenAI divulgou o PDF da prova, o prompt utilizado e detalhes técnicos do processo.
- A comunidade matemática iniciou o processo de verificação independente, que ainda não foi concluído.
- Diferente de avanços anteriores, esta prova foi realizada por um modelo acessível ao público geral.
A OpenAI anunciou que seu novo modelo, o GPT-5.6 Sol Ultra, produziu uma prova para a Conjectura da Cobertura Dupla por Ciclos, um desafio matemático que permanecia sem solução há cinco décadas. O trabalho foi realizado em menos de uma hora, empregando uma arquitetura de 64 subagentes que articulou ferramentas de álgebra linear e conceitos de fluxo para resolver o problema de teoria dos grafos. A empresa disponibilizou publicamente tanto o documento da prova quanto o prompt utilizado para orientar o modelo.
O resultado ainda aguarda validação por especialistas independentes, um passo essencial para confirmar se o argumento lógico é sólido ou se contém falhas sutis. Pesquisadores da OpenAI destacaram que, ao contrário de conquistas anteriores em matemática computacional, esta prova foi alcançada por um modelo já disponível ao público, permitindo que a comunidade científica teste a capacidade de raciocínio do sistema em tempo real.
Tópicos relacionados
Comentários
Carregando comentários...