s
O professor e pesquisador Yuhuai (Tony) Wu, da Universidade de Toronto Foto: Christophe Testi & Canva
INTELIGÊNCIA ARTIFICIAL

Aprender matemática fará a IA entender o que fala

Formalizar declarações matemáticas na linguagem do código do computador pode ajudar Inteligência Artificial a desenvolver habilidades de raciocínio

“Não queremos criar um modelo de linguagem que apenas fale como um ser humano”, disse Yuhuai (Tony) Wu, do Google AI. “Queremos que ele entenda do que está falando”. Wu é co-autor de dois artigos recentes que sugerem uma maneira de conseguir isso: treinar os sistemas de IA em matemática!

primeiro artigo descreve o ensino de um LLM para traduzir declarações matemáticas comuns em código formal que um computador pode executar e verificar. O segundo, o treinamento de um grande modelo de linguagem não apenas para entender problemas matemáticos em linguagem natural, mas para resolvê-los de fato, usando um sistema chamado Minerva, apresentado por ele no vídeo abaixo. Juntos, os artigos sugerem como os LLMs podem aprender a raciocinar por meio do pensamento matemático.

Este é um conteúdo exclusivo para assinantes.

Cadastre-se grátis para ler agora
e acesse 5 conteúdos por mês.

É assinante ou já tem senha? Faça login. Já recebe a newsletter? Ative seu acesso.

Por que a robótica ainda não escala? Cenários para autonomia física até 2031

Inteligência Artificial

Por que a robótica ainda não escala? Cenários para autonomia físic...

Relatório projeta quatro cenários para o futuro da robótica e aponta desafios de regulação, investimento e adoção em ambientes reais.

Pricing: onde a IA gera ROI verificável

Inteligência Artificial

Pricing: onde a IA gera ROI verificável

Enquanto 90% das iniciativas de IA ainda não saíram do piloto, o pricing B2B já tem resultados no P&L

Mythos, o modelo que encontra falhas que passaram décadas invisíveis

Inteligência Artificial

Mythos, o modelo que encontra falhas que passaram décadas invisíveis

Quando encontrar brechas deixa de ser difícil, todo cuidado é pouco. Por isso, a Anthropic lançou o modelo para apenas 50 empresas parceiras. O Project Glasswing inaugura uma nova fase da cibersegurança.

A realidade da IA em 2026, segundo Stanford

Inteligência Artificial

A realidade da IA em 2026, segundo Stanford

O AI Index, do HAI, identifica uma dependência geopolítica que o mercado ignora e uma percepção pública construída sobre uma versão anterior da tecnologia.

O que o balanço da IA não mostra

Inteligência Artificial

O que o balanço da IA não mostra

Quando os projetos fracassam, os custos somem. Quando os funcionários ficam de fora, ninguém conta. A indústria celebra uma transformação que seus próprios dados contradizem.

Sam Altman quer regular a IA. A pergunta é: podemos confiar nele?

Inteligência Artificial

Sam Altman quer regular a IA. A pergunta é: podemos confiar nele?

A empresa posicionada para capturar os maiores lucros da IA propõe como ela deve ser tributada, regulada e distribuída — e pede ao governo que faça o que ela própria não se compromete a fazer.