Compartilhando os avanços da IA na matemática
Estamos divulgando uma ampla variedade de novos resultados matemáticos produzidos por um modelo interno de fronteira.
Para padronizar a forma como compartilhamos resultados com a comunidade matemática, temos consultado o Grupo Consultivo sobre Matemática e Inteligência Artificial do Instituto de Estudos Avançados(abre em uma nova janela), um grupo independente, para desenvolver boas práticas. Estamos incorporando suas orientações e recomendações públicas(abre em uma nova janela) à forma como divulgamos esses resultados.
Nesta divulgação, estamos publicando os resultados em um repositório no GitHub, com protocolos para revisões de artigos e citações. Continuamos explorando outras alternativas de hospedagem pela comunidade para esta divulgação que atendam às diretrizes do comitê. Nas próximas divulgações, temos o compromisso de aprimorar ainda mais a qualidade dos artigos, melhorando as citações, a exposição matemática e a apresentação dos resultados para facilitar a compreensão.
Em nosso repositório no GitHub, estamos compartilhando formalizações de muitas das demonstrações em Lean, uma linguagem de programação que permite verificar demonstrações matemáticas por computador. Atualizaremos o repositório com mais formalizações à medida que as obtivermos.
Para promover a transparência e a abertura científica, também estamos publicando no repositório detalhes adicionais sobre como obtivemos os resultados. Esses detalhes incluem 10 resumos do raciocínio do modelo, estimativas dos recursos computacionais utilizados em termos de uso do Pro no ChatGPT e estatísticas sobre o número de problemas que tentamos resolver. Em média, cada resultado utilizou recursos computacionais equivalentes a cerca de três horas de raciocínio do ChatGPT Pro.
Queremos que esse progresso amplie as fronteiras do conhecimento humano e possibilite novos avanços na matemática. Financiaremos uma série de workshops, conferências e programas especiais voltados à compreensão de resultados importantes produzidos por IA. Compartilharemos mais informações em breve.
Queremos oferecer recursos de ponta diretamente aos cientistas e estamos trabalhando para disponibilizar de forma responsável o modelo que produziu esses resultados. Por isso, é importante continuar avaliando nossos modelos internos de fronteira em matemática e outras ciências, para acelerar o desenvolvimento de ferramentas que contribuam para o avanço dessas áreas. Continuaremos incorporando as sugestões da comunidade e atualizando nossos padrões para futuras divulgações de grandes avanços científicos.
