OpenAI divulga resultados matemáticos gerados por modelo de IA
A OpenAI publicou novos resultados matemáticos produzidos por um modelo de fronteira, com apoio de especialistas e dados abertos no GitHub.
||
06/10 às 19:40 · atualizado 20:02
Pontos principais
- A OpenAI liberou uma série de resultados matemáticos inéditos gerados por um modelo de fronteira interno.
- O processo foi orientado pelo Advisory Group on Mathematics and Artificial Intelligence, vinculado ao Institute for Advanced Study.
- A empresa disponibilizou formalizações de provas no formato Lean e detalhes técnicos no GitHub.
- A divulgação incluiu estimativas do poder computacional utilizado, mensuradas com base no uso do ChatGPT Pro.
A OpenAI anunciou a liberação de novos resultados matemáticos produzidos por um de seus modelos de fronteira. O processo foi realizado após consulta ao Advisory Group on Mathematics and Artificial Intelligence, ligado ao Institute for Advanced Study. A empresa disponibilizou formalizações de provas no formato Lean e detalhes da pesquisa no GitHub, incluindo estimativas do poder computacional gasto, mensuradas em termos de uso do ChatGPT Pro.
Tópicos relacionados
Cobertura da mídia
Sharing AI progress in mathematics
OpenAI Blog • 6 out, 09:00
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 • 6 out, 19:30
@OpenAI: We’re releasing a broad range of new mathematical results produced by an internal frontier model.
x.com • 6 out, 19:19
Comentários
Carregando comentários...