A 66ª Olimpíada Internacional de Matemática (IMO) na Austrália foi muito importante para a inteligência artificial. Em uma estreia na competição, o modelo Gemini do Google DeepMind “Deep Think” do Google DeepMind do Google DeepMind alcançou um desempenho de nível de medalha de ouro, resolvendo cinco dos seis problemas excepcionalmente difíceis da Olimpíada e marcando 35 de 42 pontos, o que corresponde ao limite de ouro definido pelo comitê de classificação da IMO.
Essa é uma grande melhoria em relação ao ano passado, quando o AlphaProof e o AlphaGeometry 2 da DeepMind alcançaram apenas o padrão de medalha de prata, resolvendo quatro problemas e marcando 28 pontos. Os sistemas anteriores exigiram a tradução entre a linguagem natural e as linguagens de prova formal, e as soluções levaram vários dias para serem computadas.
Este ano, o Gemini operou de ponta a ponta usando apenas linguagem natural, produzindo soluções completas e rigorosas diretamente das descrições oficiais da IMO dentro do prazo de 4,5 horas do concurso. Os avaliadores oficiais da IMO – que também avaliam os participantes humanos – descreveram as respostas do Gemini como “claras” e “precisas” A DeepMind atribuiu esse progresso a técnicas avançadas de aprendizado por reforço, a um banco de dados de soluções matemáticas com curadoria e a novos métodos de raciocínio paralelo que permitem explorar várias rotas de solução simultaneamente. Enquanto outros sistemas de IA, incluindo os da OpenAIalcançaram resultados não oficiais semelhantes, a avaliação do Gemini foi formalmente certificada pelos coordenadores da Olimpíada, o que é uma novidade mundial para sistemas matemáticos autônomos.
A DeepMind está planejando disponibilizar o modelo do Deep Think para matemáticos selecionados antes de um lançamento mais amplo, enquanto continua a promover agentes de linguagem natural e de raciocínio formal para pesquisa em matemática.