AI acaba de ganhar ouro na Olimpíada Internacional de Matemática 🥇
Os modelos da OpenAI e do Google resolveram 5/6 problemas usando LLMs de uso geral sob regras de exame reais.
A era da AGI para a matemática formal começou 👇
Ganhar o ouro significa marcar 35/42. É um nível alcançado por apenas um punhado de alunos de elite do ensino médio em todo o mundo.
Tanto a OpenAI quanto os modelos do Google acertaram em cheio.
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
- Treinamento em estratégias de prova e corpora matemáticos
- Usou aprendizado por reforço em tarefas de raciocínio em várias etapas
Suas provas eram tão polidas que os avaliadores da IMO as chamavam de publicáveis.
O modelo da OpenAI não foi treinado para a IMO.
Ele usou:
- Técnicas gerais de RL
- Sem internet ou ferramentas
- Provas de linguagem natural
A OpenAI teve cada prova avaliada de forma independente por 3 ex-medalhistas da IMO, com consenso unânime.
O modelo até sabia quando não tinha uma resposta válida para P6 ... mostrando suas habilidades de raciocínio, verificação de erros e autoconsciência.
Acreditamos que o maior impacto da IA pode estar na matemática.
Por que? Porque a matemática alimenta tudo, desde a lógica DeFi até a segurança do protocolo, e é verificável.
IAs que raciocinam como medalhistas Fields remodelarão a forma como construímos.
Nos próximos anos, esperamos que a IA:
• Matemática perfeita no ensino médio e universitário (IMO, Putnam)
• Resolver problemas de pesquisa avançada
• Contribuir para provas formalizadas de teoremas fundamentais
• Dimensione matemática colaborativa e descentralizada
Vemos um futuro em que a matemática não é apenas automatizada, é democratizada, confiável e combinável. 💙
3,97 mil
108
O conteúdo desta página é fornecido por terceiros. A menos que especificado de outra forma, a OKX não é a autora dos artigos mencionados e não reivindica direitos autorais sobre os materiais apresentados. O conteúdo tem um propósito meramente informativo e não representa as opiniões da OKX. Ele não deve ser interpretado como um endosso ou aconselhamento de investimento de qualquer tipo, nem como uma recomendação para compra ou venda de ativos digitais. Quando a IA generativa é utilizada para criar resumos ou outras informações, o conteúdo gerado pode apresentar imprecisões ou incoerências. Leia o artigo vinculado para mais detalhes e informações. A OKX não se responsabiliza pelo conteúdo hospedado em sites de terceiros. Possuir ativos digitais, como stablecoins e NFTs, envolve um risco elevado e pode apresentar flutuações significativas. Você deve ponderar com cuidado se negociar ou manter ativos digitais é adequado para sua condição financeira.