- Últimas notícias
- Cidades
- Polícia
- Esportes
- Estado RJ
- Brasil e Mundo
- Saúde
- Entretenimento
- Rural
- Política
- Curiosidades
- Economia
- Opinião
- Educação
- Tecnologia
09/11/2025 às 23h23
Redação Ururau
O Google DeepMind anunciou uma iniciativa inédita que une inteligência artificial e matemática em um projeto que promete transformar a pesquisa científica. A parceria, chamada AI for Math, reúne cinco instituições de ponta: Imperial College London, Institute for Advanced Study, IHES, Simons Institute (UC Berkeley) e o Tata Institute, para desenvolver soluções para problemas matemáticos ainda sem resposta.
O ponto alto da iniciativa é o AlphaEvolve AI, um sistema capaz de evoluir soluções matemáticas por meio de código e encontrar novos caminhos para conjecturas históricas. O projeto é conduzido em colaboração com o renomado matemático Terence Tao, medalhista Fields, que vem explorando a capacidade da IA de gerar e provar novas ideias.
Segundo o estudo publicado nesta semana, o AlphaEvolve enfrentou 67 problemas complexos e não apenas redescobriu soluções conhecidas, mas também apresentou novos resultados em desafios clássicos, como a conjectura Kakeya de campo finito. O sistema também aprimorou soluções geométricas, como o famoso problema do sofá móvel, ao criar novas construções tridimensionais verificadas matematicamente.
A ferramenta usa o poder do Gemini Deep Think, modo de raciocínio avançado da DeepMind, e do AlphaProof, um sistema que traduz provas matemáticas para formatos verificáveis por máquina. Juntos, esses mecanismos formam um ecossistema capaz de gerar, testar e validar ideias em alta velocidade, criando uma nova forma de colaboração entre IA e humanos.
Para Terence Tao, a IA não substitui o trabalho humano, mas se torna um parceiro poderoso que ajuda a testar hipóteses e eliminar erros antes que pesquisas exijam longos meses de trabalho. Essa combinação entre a intuição humana e a precisão computacional está abrindo novas fronteiras para a descoberta científica.
O Google destaca que a meta é estabelecer um ciclo virtuoso entre pesquisa matemática e IA aplicada, criando um ambiente em que a máquina não apenas calcula, mas ajuda a pensar. A empresa espera que o projeto se torne um marco histórico semelhante à introdução do computador nas ciências exatas, inaugurando uma era em que a matemática será explorada em escalas até então inimagináveis.
A Polícia Civil do Rio de Janeiro investiga uma suspeita de abuso contra uma criança de cinco anos em Campos dos Goytacazes. O caso aconteceu neste domingo (9) na comunidade...
O Brasileirão 2025 pegou fogo na 33ª rodada. O Palmeiras foi derrotado por 2 a 1 pelo Mirassol neste domingo (9), no Estádio José Maria Campos Maia, e viu o...
O Google DeepMind anunciou uma iniciativa inédita que une inteligência artificial e matemática em um projeto que promete transformar a pesquisa científica. A parceria, chamada AI for Math, reúne cinco...
Na tarde deste domingo (9), um caminhão usado para abastecimento interno do Presídio Feminino Nilza da Silva Santos derrubou uma coluna estrutural da fachada principal da unidade, localizada na Avenida...
O gabarito extraoficial do Enem 2025 foi divulgado neste domingo (9) por professores do cursinho Anglo, logo após o término do primeiro dia de provas. As respostas contemplam as quatro...
Aviso importante: a reprodução total ou parcial de qualquer conteúdo (textos, imagens, infográficos, arquivos em flash etc) do Portal Ururau não é permitida sem autorização e os devidos créditos e, caso se configure, poderá ser objeto de denúncia tanto nos mecanismo de busca quanto na esfera judicial. Se você possui um blog ou site e deseja estabelecer uma parceria com o Portal Ururau para reproduzir nosso conteúdo, entre em contato através do email: comercial@ururau.com.br