Modelo GPT-6 Astra da OpenAI supera recordes matemáticos históricos
O modelo GPT-6 Astra resolveu problemas matemáticos complexos, incluindo desafios de empacotamento de esferas e teoria de grupos.
||
08/09 às 12:45, atualizado 14:31
Pontos principais
- O GPT-6 Astra superou um limite matemático de empacotamento de esferas em altas dimensões que persistia desde a década de 1970.
- O sistema resolveu 10 problemas matemáticos abertos, incluindo um problema de Erdős, em cinco minutos.
- O modelo gerou uma prova de 15 páginas sobre grupos não-sofísticos, superando um esforço humano anterior de 250 páginas.
- Um modelo interno da OpenAI, mais capaz que o GPT-6 Astra, resolveu o problema de Navier-Stokes com 10 mil agentes em 88 horas.
A a16z divulgou detalhes sobre o desempenho do modelo GPT-6 Astra da OpenAI em problemas matemáticos complexos. O sistema superou recordes de décadas em empacotamento de esferas e teoria de grupos, além de resolver desafios abertos em minutos. Paralelamente, a OpenAI anunciou que um modelo interno ainda mais avançado conseguiu solucionar o problema de Navier-Stokes, utilizando 10 mil agentes simultâneos durante 88 horas de processamento.
Tópicos relacionados
Cobertura da mídia
OpenAI says an internal model "significantly more capable than GPT-6 Astra" solved the Navier-Stokes problem using 10K concurrent agents working for 88 hours (Madison Mills/Axios)
Techmeme • 8 set, 14:00
@a16z: OpenAI's Mark Sellke and Mehtaab Sawhney with a16z's Lisha Li, on the state of AI and mathematics:
x.com • 8 set, 12:16