Modelo de Próxima Geração da OpenAI, Astra, Resolve Dez Problemas Matemáticos por US$ 2.000 em Computação

Em 1º de agosto, a OpenAI anunciou dez avanços em matemática e ciência da computação teórica, alcançados por uma versão interna do seu principal modelo de próxima geração, Astra. De acordo com a precificação da API Sol, o custo total dos tokens necessários para encontrar soluções para esses problemas foi de aproximadamente US$ 2.000. Os dez avanços incluem limites superiores para empacotamento denso de esferas em altas dimensões, melhorias nos limites de códigos binários e esféricos, uma prova da existência de grupos de Sophie não solúveis, refutação da conjectura de rigidez de Connes, novos limites inferiores para complexidade de circuitos aritméticos, um teorema de repetição paralela quântica, prova da dificuldade de aproximação de fator polinomial para o problema do vetor mais próximo, a conjectura do volume de Ehrhart, limites inferiores superexponenciais para números de Ramsey multicoloridos e conjecturas de número extremal.