---
title: "GPT-6 Astra e três matemáticos resolvem problema aberto desde 2017"
url: https://dailyjournal.news/news/2026-09-21/gpt-6-astra-e-tres-matematicos-resolvem-problema-aberto-desde-2017
published: 2026-09-21T12:00:00+00:00
categories: ["science", "technology"]
source_count: 4
outlet_count: 0
language: pt-BR
publisher: "Daily Journal"
---

# GPT-6 Astra e três matemáticos resolvem problema aberto desde 2017

Epoch AI registra o primeiro 'Major advance' do FrontierMath: Open Problems, com status 'Solved (human + AI)' e a ideia central atribuída ao modelo.

## Pontos principais

- O problema 'The Core in Approval-Based Committee Elections' é o primeiro resolvido no nível Major advance do quadro
- A prova saiu de uma longa sessão interativa entre o GPT-6 Astra e Patrick Becker, Matthias Greger e Dominik Peters
- O benchmark pedia um contraexemplo; a equipe provou que o núcleo é sempre não vazio, ou seja, não existe contraexemplo
- Peters disse duvidar que a equipe tivesse encontrado a prova sem o Astra, mas que o modelo não resolve o problema a partir de um prompt simples
- O rótulo 'human + AI' foi criado em changelog de 16 de setembro de 2026, poucos dias antes
- O quadro está em 1 de 6 em Major advance, 2 de 18 em Solid result, 5 de 22 em Moderately interesting e 0 de 3 em Breakthrough
- O Astra levou a maior pontuação no FrontierMath Tier 4 a 98%, contra cerca de 5% quando o nível foi lançado em julho de 2025

A Epoch marcou o problema como resolvido conforme sua política, mesmo com o resultado sendo o oposto do que o benchmark pedia. O changelog de setembro recomenda tratar esses casos como soluções de IA quando for necessária uma classificação binária entre humano e máquina.

O contraste com o conjunto mais difícil é grande: no FrontierMath Erdős, o Astra resolveu apenas 2 dos 68 problemas historicamente não resolvidos durante a rodada oficial. A Epoch aposenta problemas resolvidos em vez de pontuar modelos e não publica percentual por sistema no quadro Open Problems.

## Fontes

- [GPT-6 Astra resolve problema de teoria da votação aberto desde 2017](https://hermes-ai.net/news/gpt-6-astra-cracks-a-decade-old-voting-theory-problem-nobody-could-solve/) (2026-09-21)
- [FrontierMath registra primeiro 'Major advance' em eleições por comitê](https://traictory.com/news/2026-09-20-frontiermath-major-advance-committee-election) (2026-09-21)
- [Epoch AI explica a classificação 'human + AI' no FrontierMath](https://epoch.ai/frontiermath/open-problems/about/faq) (2026-09-21)
- [Quadro FrontierMath: Open Problems por nível de dificuldade](https://epoch.ai/frontiermath/open-problems) (2026-09-21)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-09-21/gpt-6-astra-e-tres-matematicos-resolvem-problema-aberto-desde-2017