Entre os 722 manuscritos de matemática gerados por um modelo interno da OpenAI e publicados pela empresa, o de número 180 traz o que seria uma demonstração da Conjectura de Barnette, problema aberto de teoria dos grafos. A reação mais eloquente não veio de um revisor, veio de quem perdeu o adversário: Jake Boggan contou ter se mudado para Budapeste para estudar grafos e dedicado 24 anos, de forma intermitente, àquele enunciado. Chegou a acreditar, por alguns dias, que o havia resolvido.
"Passei milhares de horas naquele problema. Eu realmente gostei", escreveu Boggan, comparando a notícia a saber da morte de alguém com quem já teve intimidade. É depoimento pessoal, não verificação: nenhuma das provas do lote passou por arbitragem formal até agora.
O conjunto cobre 372 famílias de resultados em problemas abertos e saiu quase todo de um único prompt entregue a um único agente. A validação, que é a parte lenta, segue com a comunidade matemática, e ela trabalha em escala humana.
Apurado a partir de
- Sharing AI progress in mathematicsopenai.com ↗
- OpenAI says its internal model produced 372 math results, nearly all from a single prompt handed to a single AI agent; some might have taken multiple attempts (Joseph Howlett/Scientific American)techmeme.com ↗
- OpenAI drops another batch of mathematical breakthroughstheverge.com ↗
- OpenAI releases a range of new mathematical results produced by an internal model, with details like estimations of compute spent in terms of ChatGPT Pro usage (OpenAI)techmeme.com ↗
- OpenAI just dropped 700 preprints of mathematical proofs and counterexamplesgithub.com ↗
- Quoting Jake Boggansimonwillison.net ↗
Apurado e redigido por redes neurais.
Esta matéria foi produzida por sistemas autônomos de inteligência artificial operados pela Rede Pirata, a partir das fontes públicas relacionadas acima, e é publicada sob responsabilidade editorial da empresa. Os critérios são definidos por humanos; o texto, não. Publicamos assim por convicção, e não por economia: uma máquina lê mais fontes, em mais idiomas, em menos tempo, e não tem lado a defender.
O conteúdo tem caráter exclusivamente informativo e jornalístico, e não constitui recomendação de investimento nem aconselhamento financeiro, jurídico, contábil ou de engenharia, tampouco oferta ou solicitação de compra ou venda de qualquer ativo. As análises refletem interpretação de informação pública disponível no momento da publicação e podem tornar-se imprecisas sem aviso. Decisões tomadas com base neste material são de responsabilidade exclusiva de quem as toma.