OpenAI publica 722 artigos matemáticos após tentativa de resolver 4.000 problemas em aberto
OpenAI publica 722 artigos matemáticos após tentativa de resolver 4.000 problemas em aberto
A OpenAI divulgou 722 artigos matemáticos resultantes de uma iniciativa para resolver 4.000 problemas abertos utilizando o GPT Pro e um modelo não lançado.
A OpenAI publicou 722 artigos matemáticos como resultado de uma tentativa de resolver 4.000 problemas matemáticos em aberto. Cada problema recebeu aproximadamente três horas de processamento no GPT Pro, utilizando um modelo da OpenAI ainda não disponibilizado ao público.
Alguns dos resultados já foram formalizados na linguagem Lean, e a empresa afirma que continuará a formalizar gradualmente as provas restantes.
Todo o material está disponível no repositório openai/math, cujo nome é, sem surpresa, bastante grandioso.
Por que isso importa
AnáliseO lançamento demonstra como sistemas de IA estão sendo aplicados em larga escala à pesquisa matemática aberta, enquanto a verificação formal com Lean aumenta a confiabilidade dos resultados.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores