A IA acaba de ganhar a medalha de ouro na Olimpíada Internacional de Matemática 🥇
Os modelos da OpenAI e do Google resolveram 5/6 problemas usando LLMs de propósito geral sob regras reais de exame.
A era da AGI para matemática formal começou 👇
Vencer o ouro significa marcar 35/42. É um nível alcançado por apenas um punhado de alunos do ensino médio de elite em todo o mundo.
Tanto os modelos da OpenAI quanto os do Google atingiram a marca.
Sem calculadoras. Sem pesquisa. Apenas raciocínio em linguagem natural.
O Gemini 2.5 do Google usou o modo "Deep Think":
- Explorou soluções em paralelo
- Treinado em estratégias de prova e corpora matemáticos
- Usou aprendizado por reforço em tarefas de raciocínio de múltiplos passos
As suas provas eram tão refinadas que os avaliadores do IMO as consideraram publicáveis.
O modelo da OpenAI não foi treinado para o IMO.
Utilizou:
- Técnicas gerais de RL
- Sem internet ou ferramentas
- Provas em linguagem natural
A OpenAI fez com que cada prova fosse avaliada de forma independente por 3 ex-medalhistas do IMO, com consenso unânime.
O modelo até sabia quando não tinha uma resposta válida para o P6... mostrando suas habilidades em raciocínio, verificação de erros e autoconsciência.
Acreditamos que o maior impacto da IA pode estar na matemática.
Por quê? Porque a matemática alimenta tudo, desde a lógica DeFi até a segurança de protocolos, e é verificável.
IAs que raciocinam como medalhistas de Fields irão transformar a forma como construímos.
Nos próximos anos, esperamos que a IA:
• Aperfeiçoe a matemática de nível secundário e universitário (IMO, Putnam)
• Resolva problemas de pesquisa avançados
• Contribua para provas formalizadas de teoremas fundamentais
• Escale a matemática colaborativa e descentralizada
Vemos um futuro onde a matemática não é apenas automatizada, mas também democratizada, sem confiança e composta. 💙
3,23 mil
72
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.