OpenAI Astra resolve 10 problemas matemáticos em aberto
O modelo OpenAI Astra alcançou um marco histórico ao resolver dez problemas matemáticos em aberto, alguns dos quais permaneciam sem solução há décadas.
O OpenAI Astra conseguiu resolver 10 problemas matemáticos em aberto, alguns dos quais têm relevância há 40-50 anos.
A OpenAI publicou recentemente uma análise detalhada sobre este feito, apresentando todas as provas formalizadas na linguagem Lean e o processo de raciocínio do modelo. No total, foram gastos aproximadamente 2.000 dólares em tokens para encontrar as soluções.
Entre os resultados destacam-se, em particular, a prova da existência de grupos não-sóficos e o empacotamento de esferas em altas dimensões.
A existência de grupos não-sóficos tem sido uma questão central na teoria dos grupos e nas álgebras de operadores há 20 anos. O empacotamento de esferas é um dos problemas mais famosos da geometria discreta. Até agora, uma solução exata era conhecida apenas em algumas dimensões; para os casos de 8 e 24 dimensões, Marina Viazovska recebeu a Medalha Fields.
Além disso, a lista inclui a solução do problema nº 183 de Erdős sobre números de Ramsey multicoloridos, a refutação da hipótese de rigidez Conn, a hipótese de Ehrhart sobre volume, entre outros.
Os detalhes sobre o próprio modelo são escassos. É provável que seja um grande modelo da família GPT-6 (ou GPT-5.7), o mesmo que supostamente invadiu a HuggingFace. Aparentemente, este é o modelo que Sam Altman apresentou na Casa Branca esta semana.
Por que isso importa
AnáliseEste avanço demonstra o potencial crescente da inteligência artificial na resolução de problemas científicos complexos, podendo impactar significativamente o desenvolvimento futuro da matemática e das ciências correlatas.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores
Relacionado no ecossistema
Guias práticos, terminologia essencial e skills de agentes
Quatro dicas de currículo do líder de desenvolvimento de IA aplicada na OpenAI
Wulfie Bain, líder de desenvolvimento de IA aplicada na OpenAI, destacou quatro regras: brevidade, relevância, foco em resultados e conquistas mais importantes no início.
AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 e mudanças de preços da OpenAI e da Anthropic
Resumo das novidades de IA: novos modelos LLM, mudanças nas assinaturas da OpenAI e da Anthropic, world models, geradores de vídeo e detalhes corporativos.
OpenAI GPT (Modelos Flagship da Série GPT)
A principal linha universal de grandes modelos de linguagem da OpenAI (GPT-4, GPT-4o). Otimizada para análise textual complexa, programação, criatividade e trabalho intelectual diário.
Perfil Hermes: Pesquisador OSINT e Web Research Profundo
Perfil do analista de fontes abertas (OSINT) Hermes: busca na internet em múltiplas etapas, verificação de fontes primárias, inteligência competitiva e fact-checking.