OpenAI usa o modelo Astra para resolver 10 problemas matemáticos
A OpenAI revelou que produziu soluções para 10 problemas matemáticos de longa data, em um anúncio feito dias antes de a reportagem conversar com o matemático James Maynard, professor da Universidade de Oxford e vencedor da Fields Medal. Os resultados foram apresentados como feitos por um modelo avançado não revelado chamado Astra, com foco em áreas que vão da matemática mais abstrata a questões com implicações práticas.
Entre os exemplos citados estão avanços sobre empacotamento de esferas em mais de três dimensões, limites de códigos de correção de erros e questões sobre redes conectadas antes do surgimento de padrões estruturais. A iniciativa também gerou debates sobre atribuição de crédito e levou a OpenAI a atualizar a linguagem do post para refletir melhor trabalhos anteriores, além de incluir a certificação das provas com Lean.
The Verge (AI)
O texto acima é um resumo reescrito. A apuração, o texto integral e os créditos são da fonte — abra o original para ler na íntegra.
Ler matéria original ↗Resumo gerado por IA a partir da matéria original e revisto pelo método descrito em como funciona a curadoria. Em caso de divergência, vale o texto da fonte. Achou um erro? Fale com a gente.