A OpenAI lançou uma grande coleção de pesquisas matemáticas produzidas por um modelo de IA de fronteira interna, incluindo trabalhos sobre problemas que desafiam matemáticos profissionais há anos.
A empresa anunciou o lançamento em 6 de outubro, dizendo que os resultados cobrem uma ampla gama de matemática e estão sendo publicados abertamente para escrutínio por pesquisadores.
A coleção pública contém 722 manuscritos organizados em 372 famílias de resultados relacionados, de acordo com a comunidade de desenvolvedores da OpenAI. O trabalho emergiu de uma avaliação envolvendo cerca de 4.000 problemas matemáticos.
O Verge relata que a coleção abrange centenas de resultados matemáticos gerados por um modelo de fronteira não lançado. Mas a publicação não significa que cada alegação deva ser imediatamente tratada como fato matemático estabelecido. Os pesquisadores terão de examinar as provas e determinar a importância e a novidade dos resultados individuais.
Uma característica particularmente significativa é que o OpenAI forneceu formalização de muitas provas usando Lean, uma linguagem de programação que permite que as provas matemáticas sejam verificadas pelo computador. A empresa diz que formalizaçãos adicionais serão adicionadas ao longo do tempo.
OpenAI também revelou uma notável medida da computação envolvida. Em média, cada resultado exigiu computação equivalente a aproximadamente três horas de ChatGPT Pensamento pro usando o modelo interno.
O lançamento segue alegações cada vez mais dramáticas sobre a capacidade da IA de contribuir para a matemática. Em setembro, OpenAI disse que o mesmo esforço de pesquisa mais amplo tinha resolvido mais de 100 problemas abertos de longa data, levando a empresa a trabalhar com um grupo independente de matemáticos proeminentes sobre como tais descobertas devem ser revistas e comunicadas.
Esse grupo consultivo inclui matemáticos de instituições, incluindo Stanford, Harvard, Oxford, Cambridge, Berkeley e o Instituto de Estudos Avançados. Seu papel não é simplesmente endossar o trabalho da OpenAI, mas aconselhar de forma independente sobre significância, padrões de pesquisa e divulgação responsável.
A questão maior agora vai além se a IA pode responder perguntas matemáticas difíceis.
Se os matemáticos independentes finalmente verificarem partes significativas deste trabalho, a nova fronteira pode ser se a IA pode descobrir rotineiramente a matemática que os humanos já não sabiam.
