A IA do Google DeepMind alcançou resultados impressionantes na Olimpíada Internacional de Matemática, ganhando a medalha de prata e perdendo a medalha de ouro por apenas um ponto. Seus sistemas AlphaProof e AlphaGeometry2 responderam corretamente 4 de 6 questões. Entre elas, AlphaGeometry2 resolveu uma questão de geometria em 19 segundos, com velocidade e precisão superiores às dos principais matemáticos humanos. Este avanço não só chocou a comunidade matemática, mas também atraiu a atenção generalizada na indústria, como Tao Zhexuan e Luo Boshen, elogiaram-no e expressaram as suas expectativas quanto ao seu potencial de desenvolvimento futuro.
No templo da matemática, o Google DeepMind demonstrou mais uma vez as extraordinárias capacidades da sua IA. Recentemente, o Google AI ganhou a medalha de prata na Olimpíada Internacional de Matemática (IMO). Essa conquista não apenas chocou a comunidade matemática, mas também encheu as pessoas de imaginação ilimitada sobre o futuro da IA.
AlphaProof e AlphaGeometry2 do Google tiveram um desempenho impressionante na competição IMO2024. Eles acertaram 4 das 6 questões e perderam a medalha de ouro por apenas um ponto. O que é ainda mais surpreendente é que o AlphaGeometry2 resolveu um problema de geometria em apenas 19 segundos. Essa velocidade e precisão são difíceis de serem igualadas até mesmo pelos melhores matemáticos humanos.
O CEO da Perplexity AI até previu corajosamente que, se o Google continuar a se aprofundar no campo da matemática da IA, poderá criar um "AI Terence Tersu" no futuro. O próprio Terence Tao está mais preocupado em como a IA e a matemática podem se desenvolver juntas. Ele acredita que o progresso da IA no campo da matemática ajudará a automatizar a matemática formal e a promover o progresso da pesquisa matemática.
O caminho de pesquisa e desenvolvimento da DeepMind desta vez é muito inteligente. Eles dependem mais do aprendizado por reforço do que de grandes modelos de linguagem. Este método herda o espírito do AlphaGo até certo ponto. Através de métodos formais, a IA é capaz de resolver problemas geométricos de nível IMO que antes eram inimagináveis.
O professor Luo Boshen acredita que as poderosas capacidades matemáticas da IA colocam novos desafios aos métodos educacionais. A estrutura educacional existente precisa mudar rapidamente para se adaptar às necessidades da era da IA. Ele enfatizou que todos devem aprender a resolver novos problemas que nunca foram vistos antes, caso contrário não conseguirão acompanhar o ritmo da IA.
O desempenho da IA do Google na IMO não é apenas um avanço tecnológico, mas também uma profunda revelação da sabedoria humana. Com o avanço contínuo da tecnologia de IA, temos motivos para acreditar que a futura investigação e educação matemática sofrerão mudanças tremendas. Esperemos ansiosamente para ver como a IA continuará a criar milagres no campo da matemática.
O excelente desempenho da IA do Google na IMO indica que a IA terá perspectivas de aplicação mais amplas no campo da matemática e também traz novas ideias e desafios para a educação matemática. Este não é apenas um salto na tecnologia de IA, mas também um marco na exploração humana de áreas desconhecidas. No futuro, a cooperação entre a IA e os humanos promoverá o desenvolvimento vigoroso da matemática e de ainda mais disciplinas.