Vietnamita no Google cria IA para resolver problemas de matemática que 'derrotam' medalha de ouro olímpica internacional

IA 'derrota' medalha de ouro olímpica internacional

Há três semanas, a equipe do Dr. Minh Thang, pesquisador sênior do Google (EUA), desenvolveu com sucesso a versão AlphaGeometry 2. O recurso mais notável desta versão é que o nível de resolução de problemas matemáticos supera o dos medalhistas de ouro da Olimpíada Internacional de Matemática (IMO) na resolução de Geometria Matemática. "Se os medalhistas de ouro da IMO conseguem resolver 40/50 problemas, o AlphaGeometry 2 resolverá 42/50 problemas", compartilhou o Dr. Thang com satisfação.

Há 20 anos, o Dr. Thang estudava na turma especializada de matemática da Gifted High School, na Cidade de Ho Chi Minh, como aluno do Sr. Le Ba Khanh Trinh, o primeiro vietnamita a ganhar uma medalha de ouro da OMI (em 1979). O Sr. Trinh também é o único vietnamita até hoje a ganhar o prêmio especial desta competição, graças à sua solução curta e impressionante para o problema de geometria número 3.

Inspirado por seu talentoso professor, o Sr. Thang sempre se questionava: "Nossa IA pode resolver o problema do Sr. Le Ba Khanh Trinh no passado?". Essa pergunta foi a fonte da determinação do Sr. Thang em desenvolver um software de IA para resolver problemas matemáticos.

Nascido em 2022, o Alpha Geometry passou despercebido por todos, pois o software inicial só conseguia resolver alguns pequenos problemas de matemática.

O Dr. Luong Minh Thang (à direita) compartilha informações com especialistas na Conferência de Inteligência Artificial GenAI Summit 2024.

Após 2 anos de desenvolvimento, em janeiro de 2024, a AlphaGeometry estreou oficialmente no mundo da IA ​​com um artigo de pesquisa publicado na mundialmente renomada revista Nature. O artigo contou com a participação de três doutores vietnamitas: Luong Minh Thang, Trinh Hoang Trieu e Le Viet Quoc, além de dois estrangeiros, Dr. Yuhuai Wu e Dr. He He.

Nesta versão, o AlphaGeometry surpreendeu muitas pessoas ao usar modelos de linguagem neural e raciocínio lógico combinados com dados sintéticos em larga escala para resolver problemas da IMO (competição internacional de matemática).

“No entanto, neste momento, o AlphaGeometry ainda não consegue resolver o lendário problema do Sr. Trinh. O problema dele envolve pontos móveis conectados entre si, mas o AlphaGeometry 1 não consegue descrever esse movimento”, ponderou o Dr. Luong Minh Thang, continuando a encontrar maneiras de aperfeiçoar e atualizar o software.

Há 20 anos, Thang ficou de fora da IMO ao terminar em 8º lugar na seleção nacional, enquanto apenas 6 candidatos foram selecionados para participar da competição internacional. Apesar de seu sonho inacabado de matemática, ele se voltou para a inteligência artificial (IA) ao ingressar na universidade. Esse momento decisivo o levou à IMO 2024 de uma forma especial – não como candidato, mas com o software de IA AlphaGeometry desenvolvido por sua equipe, competindo com talentos matemáticos de mais de 100 países em Bath, Reino Unido.

“Em julho de 2024, pela primeira vez, nossa equipe levou a IA para participar da Olimpíada Internacional de Matemática (IMO) e ganhou uma Medalha de Prata”, compartilhou o Dr. Thang.

Como convidado especial da competição, Thang teve uma ótima lembrança de ter apresentado o AlphaGeometry aos competidores do mundo todo e também conheceu o professor Le Ba Khanh Trinh durante a competição.

9cbb024943b3f2edaba2.jpg

Nosso objetivo no futuro é desenvolver um programa, uma versão de IA que possa resolver 6/7 problemas do milênio que o mundo não resolveu.

Dr. Luong Minh Thang

Thang disse que a AlphaGeometry é forte na resolução de problemas de geometria, mas a matriz do exame IMO 2024 tem apenas um problema de geometria; os demais são álgebra, aritmética e combinatória. A AlphaGeometry está a apenas 1 ponto de ganhar a medalha de ouro olímpica internacional, o que o motiva a continuar liderando a equipe para desenvolver IA com capacidades de raciocínio sobre-humanas.

Em particular, o desejo de criar um software que pudesse solucionar todos os problemas de geometria da IMO ajudou a equipe do Dr. Thang a desenvolver com sucesso o AlphaGeometry 2, lançado há 3 semanas, resolvendo com sucesso o problema do Sr. Trinh.

O Dr. Luong Minh Thang acredita que a AlphaGeometry representa um marco importante rumo à inteligência semelhante à humana e ao software de autoaprendizagem. Este é o pré-requisito para alcançar a AGI (Inteligência Artificial Geral) – sistemas capazes de aprender todo o conhecimento e percepção, superando a inteligência humana.

"Nosso objetivo para o futuro é desenvolver um programa, uma versão de IA que possa resolver 6/7 problemas do milênio que o mundo ainda não resolveu. Mesmo que a IA ganhe a Medalha Fields como o Professor Ngo Bao Chau, seria ótimo", disse Thang.

Segundo Thang, acreditava-se que levaria mais alguns anos para que a IA resolvesse problemas matemáticos internacionais, mas o software de sua equipe já conseguiu. O objetivo de Thang e seus colegas não é apenas se limitar à AlphaGeometry ou à resolução de problemas matemáticos.

“Queremos que a IA alcance novos patamares, não apenas imitando os humanos, mas tendo um novo raciocínio, pesquisando e criando soluções práticas para o mundo em muitos campos diferentes, como física, química e, por exemplo, descoberta de medicamentos”, compartilhou Thang.

O Dr. Luong Minh Thang tem mais de 50 artigos de pesquisa, 40.000 citações e 20 patentes.

No Google DeepMind, o Dr. Luong Minh Thang construiu os modelos mais avançados em linguagem (QANet, ELECTRA) e visão (UDA, NoisyStudent). Ele foi cofundador do projeto Meena – o melhor chatbot do mundo em 2020, que mais tarde se tornou o Google LaMDA, Bard e agora o Gemini – o principal produto de IA do Google. A plataforma de chatbot Meena ainda é líder mundial e compete com o chat do GPT.

Trabalhando oficialmente no Google Brain desde setembro de 2016, o Dr. Thang começou com experiência em pesquisa em aprendizado de máquina e processamento de linguagem natural. Thang é o único vietnamita na equipe de pesquisa principal do modelo Parti (Pathways Autoregressive Text-to-Image), que converte texto em imagens automaticamente no Google Brain.

Até o momento, ele já publicou mais de 50 artigos científicos, 40.000 citações e 20 patentes. Segundo Thang, no Google, há pesquisadores que querem apenas escrever artigos, mas sua equipe pensa mais em criar artigos com grande impacto e, ao mesmo tempo, criar aplicações que impactem bilhões de pessoas.

Por exemplo, em 2021, Thang pesquisou um aplicativo para alterar o algoritmo de pesquisa do Google e foi uma das 10 melhores melhorias que o Google fez para ajudar bilhões de usuários a coletar informações de forma mais conveniente.

"Isso exige uma reflexão cuidadosa, porque, no meu nível, há muitos problemas que podem ser resolvidos. O segredo é encontrar o problema que a maioria das pessoas precisa, mesmo que ainda não tenham pensado nele, mas ele precisa ser aplicável na prática", enfatizou Thang.

Começando como aluno de matemática na Escola Secundária para Superdotados Nguyen Binh Khiem, na província de Bien Hoa, Thang sempre foi apaixonado por resolver problemas matemáticos. Enquanto estudava na Escola Secundária para Superdotados da Universidade Nacional da Cidade de Ho Chi Minh, Thang conheceu os professores Le Ba Khanh Trinh e Tran Nam Dung, que levaram seu estilo de ensino universitário para o ensino médio, ajudando Thang a se tornar mais aberto a pensar na resolução de problemas matemáticos. Com uma sólida formação em matemática, o estudante vietnamita foi para Singapura para cursar Ciência da Computação na Universidade Nacional de Singapura com uma bolsa integral.

Lá, Thang começou a estudar linguagem natural e a traduzi-la para diversos idiomas, o que lhe permitiu sentir claramente o poder da inteligência artificial. Thang permaneceu como assistente de pesquisa na instituição até 2011, quando recebeu uma bolsa de doutorado da Universidade Stanford, nos EUA.

Na escola líder do mundo, Thang foi orientado pelo professor Christopher Manning, uma figura renomada na área de aplicação de aprendizado de máquina profundo ao processamento de linguagem natural.

Dr. Thang com o matemático Terrence-Tao (meio) e sua esposa, Wendy Uyen Nguyen (direita).

Durante seus cinco anos em Stanford, houve momentos em que o nível de otimismo de Thang estava no seu nível mais baixo. Durante os três primeiros anos, ele trabalhou em diversas áreas, mas seus resultados de pesquisa não alcançaram grande sucesso.

Ao final do terceiro ano, Thang estagiou no Google e encontrou seu caminho na tradução de inteligência artificial. Naquela época, Thang teve a sorte de trabalhar com três pessoas proeminentes na área de IA: Dr. Le Viet Quoc, uma das figuras mais citadas do mundo em IA; Ilya Sutskever, cofundador e ex-engenheiro-chefe da OpenAI; e Oriol Vinyal, vice-presidente do Google DeepMind.

Buscando um rumo para si, Thang imediatamente escreveu sua tese nessa área e se concentrou em desenvolvê-la. Quando se tornou funcionário oficial do Google, Thang percebeu que muitos grupos estavam competindo entre si, então pensou em migrar para a área da superinteligência para expandir sua busca por novos conhecimentos.

Trabalhando em projetos que estão na vanguarda da inteligência artificial globalmente, Thang considera este grupo de pesquisa o "cérebro pioneiro" da IA ​​no mundo. Isso representa uma pressão e um desafio, mas também uma inspiração para todo o grupo conquistar novos objetivos em suas carreiras.

Colocando a IA vietnamita no mapa mundial

Avaliando que o Vietnã tem grande potencial no campo da IA, o Dr. Luong Minh Thang aspira contribuir para colocar a IA vietnamita no mapa mundial.

Nos últimos cinco anos, ele e seus colegas, especialistas vietnamitas, cofundaram a organização sem fins lucrativos VietAI, treinando um total de mais de 4.000 engenheiros de IA de alta qualidade. Entre eles, quatro jovens engenheiros se tornaram os primeiros especialistas em desenvolvimento de aprendizado de máquina do Google no Vietnã.

Todas as manhãs, Thang acorda cedo para levar o filho à escola e depois vai para a sede do Google. Ele começa a manhã com tarefas que exigem mais criatividade e atenção, como ler pesquisas científicas publicadas recentemente, pensar em novas ideias e programar e escrever código.

Ocasionalmente, Thang organiza almoços com a equipe, discutindo ideias ou lendo artigos científicos com os colegas. Durante os intervalos para almoço, ele se reúne com gerentes seniores e grupos para dar orientações.

O Dr. Thang e seus colegas da equipe fundadora da AlphaGeometry trabalham no escritório.

Captura de tela 2025-03-17 às 12.01.55 PM.png

Aspiração de treinar centenas de milhares de talentos vietnamitas em IA com o lema "do zero ao herói".

Dr. Luong Minh Thang

No final da tarde, ele costuma correr e volta para casa para jantar com a família. Sua esposa é a Mestra Wendy Uyen Nguyen, Diretora de Relações Externas Globais e fundadora do Instituto Stanford de Microbiologia e Epidemiologia (Universidade de Stanford). O cientista 8X confidenciou que o casal é muito compatível. Sua esposa sempre o incentiva e o acompanha ao Vietnã para realizar projetos que conectem a IA e a medicina entre o Vietnã e os EUA.

Em agosto de 2024, Thang convidou o Sr. Jeff Dean, "o mago" do Google, para organizar uma conferência sobre IA na Cidade de Ho Chi Minh, Vietnã, atraindo milhares de participantes para disseminar novos conhecimentos sobre a área e fazer recomendações para o desenvolvimento da IA ​​no Vietnã no futuro. O desejo de Thang é treinar centenas de milhares de engenheiros de IA até 2030 e, somente em 2025, ele pretende treinar 1.000 engenheiros vietnamitas de alta qualidade na área de IA generativa.

Seu Instituto de IA criou uma estrutura curricular de IA, inspirada pela Universidade Stanford e pelo Google, para treinar recursos humanos no Vietnã desde 2018. Thang percebeu que as universidades no Vietnã ensinam IA, mas o conhecimento não é atualizado, ainda é bastante antigo.

Seu maior desejo é poder treinar IA de forma conectada, entre universidades, entre escolas de ensino médio e universidades, e entre seu instituto e universidades, e especialmente entre universidades e empresas. Isso cria conexões horizontais e verticais no treinamento. Os alunos podem aprender IA em diferentes lugares, mas todos são reconhecidos.

Em um futuro próximo, Thang planeja buscar bolsas de estudo no exterior para treinar uma geração de talentos vietnamitas em IA com o lema "do zero ao herói", de alguém que não sabe nada a se tornar um especialista.

Fonte: https://vtcnews.vn/ts-viet-tai-google-tao-ai-giai-toan-danh-guc-huy-chuong-vang-olympic-quoc-te-ar931477.html