Home / Nosso Blog
Leve seu marketing digital para o próximo nível com estratégias baseadas em dados e soluções inovadoras. Vamos criar algo incrível juntos!
Acompanhe semanalmente nosso canal no youtube com vídeos de marketing e performance e se inscreva-se
A matemática é a linguagem fundamental do universo, fornecendo as ferramentas para descrever tudo, desde as leis da física até as complexidades da biologia e a lógica da ciência da computação. Durante séculos, as suas fronteiras foram expandidas apenas pela engenhosidade humana. No Google DeepMind, acreditamos que a IA pode servir como uma ferramenta poderosa para colaborar com matemáticos, aumentando a criatividade e acelerando a descoberta.
Hoje estamos apresentando a AI for Math Initiative, apoiada pelo Google DeepMind e Google.org. Reúne cinco das instituições de investigação mais prestigiadas do mundo para serem pioneiras na utilização da IA na investigação matemática.
As instituições parceiras inaugurais são:
Os parceiros da iniciativa trabalharão no sentido dos objetivos comuns de identificar a próxima geração de problemas matemáticos maduros para insights orientados pela IA, construindo a infraestrutura e as ferramentas para impulsionar estes avanços e, em última análise, acelerar o ritmo da descoberta.
O apoio do Google inclui financiamento do Google.org e acesso às tecnologias de ponta do Google DeepMind, como um modo de raciocínio aprimorado chamado Gêmeos Pensamento Profundonosso agente para descoberta de algoritmos, AlphaEvolvee nosso sistema formal de preenchimento de provas, AlphaProof. A iniciativa criará um poderoso ciclo de feedback entre a investigação fundamental e a IA aplicada, abrindo a porta a parcerias mais profundas.
A Iniciativa AI for Math surge num momento de progresso notável nas capacidades de raciocínio da IA; nosso próprio trabalho teve um rápido avanço nos últimos meses.
Em 2024, nossos sistemas AlphaGeometry e AlphaProof alcançou um padrão de medalha de prata na Olimpíada Internacional de Matemática (IMO). Mais recentemente, o nosso mais recente modelo Gemini, equipado com Deep Think, alcançou um desempenho em nível de medalha de ouro na IMO deste ano, resolvendo perfeitamente cinco dos seis problemas e marcando 35 pontos.
E vimos mais progressos com outro dos nossos métodos, AlphaEvolveque foi aplicado a mais de 50 problemas abertos em análise matemática, geometria, combinatória e teoria dos números e melhorou as soluções anteriormente mais conhecidas em 20% deles. Em matemática e descoberta de algoritmosinventou um método novo e mais eficiente para multiplicação de matrizes – um cálculo central em computação. Para o problema específico de multiplicação de matrizes 4×4, AlphaEvolve descobriu um algoritmo usando apenas 48 multiplicações escalares, quebrando o recorde de 50 anos estabelecido pelo algoritmo de Strassen em 1969. Em Ciência da Computaçãoajudou os pesquisadores a descobrir novas estruturas matemáticas que mostram que certos problemas complexos são ainda mais difíceis de serem resolvidos pelos computadores do que sabíamos anteriormente. Isso nos dá uma compreensão mais clara e precisa dos limites computacionais, o que ajudará a orientar pesquisas futuras.
Este rápido progresso é uma prova da rápida evolução das capacidades dos modelos de IA. Esperamos que esta nova iniciativa possa explorar como a IA pode acelerar a descoberta na investigação matemática e resolver problemas mais difíceis.
Estamos apenas no início da compreensão de tudo o que a IA pode fazer e como ela pode nos ajudar a pensar sobre as questões mais profundas da ciência. Ao combinar a profunda intuição dos matemáticos líderes mundiais com as novas capacidades da IA, acreditamos que novos caminhos de investigação podem ser abertos, avançando o conhecimento humano e avançando em direcção a novos avanços nas disciplinas científicas.
”Negócio desatualizado ele não está apenas perdendo dinheiro, mas está perdendo a chance de fazer a diferença ao mundo”
Produtor
