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.
||
21/09 às 09:00
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.
Comentários
Carregando comentários...