A equipe do Google DeepMind apresentou a resolução de problemas matemáticos com o uso de IA (inteligência artificial).
A descoberta científica é resultado da utilização de modelos de linguagem como o ChatGPT da OpenAI e o Bard do Google nos testes, como divulgado pelo The Guardian.
Os pesquisadores criaram o “FunSearch” (“Pesquisa no espaço funcional”, em português), aproveitando um LLM para escrever soluções de problemas na forma de programas de computador, informa o site.
O FunSearch foi testado em dois quebra-cabeças matemáticos, com resultados que demostraram a efetividade do método.
“Considero realmente emocionante, ainda mais do que os resultados específicos que encontramos, são as perspectivas que sugere para o futuro da interação homem-máquina em matemática”, afirma Jordan Ellenberg, coautor do artigo e professor de matemática da Universidade de Wisconsin-Madison, para o jornal.
