Imagem: portal de notícia Olhar Digital
Inteligência artificial atinge marco na matemática
A OpenAI anunciou que um de seus modelos de inteligência artificial (IA) resolveu um problema matemático que estava sem resposta há 80 anos, o que representa um avanço significativo na aplicação da IA em áreas complexas da matemática.
O que é o problema da distância unitária no plano?
Formulado pelo matemático húngaro Paul Erdős em 1946, o problema da distância unitária no plano questiona qual é o número máximo de pares de pontos que podem ser separados por exatamente uma unidade de distância em um plano bidimensional. Erdős sugeriu que esse número cresce mais rápido do que a quantidade de pontos considerados, e desde então, matemáticos têm buscado estabelecer limites para essa questão.
Desenvolvimento e validação da solução
A OpenAI relatou que seu modelo de IA não foi treinado especificamente para resolver problemas matemáticos, mas utilizou uma abordagem inédita que substituiu uma teoria tradicionalmente associada à distância unitária. A solução foi revisada e validada por matemáticos externos, que confirmaram a validade da demonstração, embora tenham aprimorado significativamente os resultados da IA.
Reações da comunidade matemática
A reação da comunidade matemática foi amplamente positiva. O professor Tim Gowers, da Universidade de Cambridge, considerou a solução um marco na matemática gerada por IA, afirmando que, se apresentada por um pesquisador humano, deveria ser aceita sem hesitação em uma revista de prestígio. Gowers ressaltou que nenhuma demonstração de IA havia alcançado um nível de qualidade semelhante anteriormente.
Impactos e implicações futuras
Este resultado não apenas marca um avanço na aplicação da IA em pesquisa matemática, mas também levanta questões sobre o papel da tecnologia como ferramenta de apoio para matemáticos, em vez de substituí-los. A OpenAI enfatiza a importância da colaboração entre humanos e IA em pesquisas de fronteira.
Próximos passos e desdobramentos
A partir deste resultado, a OpenAI deverá continuar a investigar a aplicação de suas tecnologias em outros problemas matemáticos complexos, enquanto a comunidade acadêmica terá a oportunidade de explorar as implicações da integração entre inteligência artificial e pesquisa matemática.
