No santuário da matemática, o Google DeepMind mais uma vez demonstrou a capacidade extraordinária de sua IA. Recentemente, a IA do Google conquistou uma medalha de prata na Olimpíada Internacional de Matemática (IMO), uma conquista que não apenas chocou o mundo da matemática, mas também inspirou imaginações ilimitadas sobre o futuro da IA.
O AlphaProof e o AlphaGeometry2 do Google tiveram um desempenho notável na competição IMO 2024. Eles resolveram 4 das 6 questões, perdendo a medalha de ouro por apenas um ponto. Mais impressionante ainda, o AlphaGeometry2 resolveu um problema de geometria em apenas 19 segundos, uma velocidade e precisão que até mesmo os matemáticos de ponta humanos dificilmente conseguiriam alcançar.
Essa conquista não apenas causou sensação no mundo da IA, mas também chamou a atenção de figuras lendárias da matemática. O ganhador da Medalha Fields, Terence Tao, e o ex-líder da equipe americana da IMO, Po-Shen Loh, elogiaram muito o desempenho da IA do Google. Tao acredita que este trabalho do DeepMind expandiu os limites da capacidade da IA na área da matemática, enquanto Loh comparou a sensação ao lançamento do Sputnik, o primeiro satélite artificial soviético.
O CEO da Perplexity AI ousou prever que, se o Google continuar a investir na área da matemática de IA, poderá criar um "Terence Tao de IA" no futuro. O próprio Tao está mais focado em como a IA e a matemática podem se desenvolver juntas, acreditando que o progresso da IA na matemática ajudará a automatizar a matemática formal e impulsionar o progresso da pesquisa matemática.
O caminho de pesquisa do DeepMind desta vez foi muito inteligente, eles dependeram mais do aprendizado por reforço do que dos grandes modelos de linguagem, um método que, em certa medida, herda o espírito do AlphaGo. Através de métodos formais, a IA consegue resolver problemas de geometria de nível IMO, algo impensável antes.
O professor Po-Shen Loh acredita que a poderosa capacidade matemática da IA apresenta novos desafios aos métodos de ensino. A estrutura educacional existente precisa de uma rápida transformação para se adaptar às necessidades da era da IA. Ele enfatiza que todos precisam aprender a resolver novos problemas nunca antes vistos, 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 inspiração para a inteligência humana. Com o contínuo progresso da tecnologia de IA, temos razões para acreditar que a pesquisa e o ensino de matemática no futuro sofrerão mudanças radicais. Vamos aguardar ansiosamente como a IA continuará a criar milagres no campo da matemática.