O Google DeepMind recentemente utilizou modelos de linguagem grandes para resolver com sucesso um problema matemático sem solução anterior. Eles usaram a ferramenta de IA FunSearch, descobrindo novas informações verificáveis e valiosas que não existiam antes.
FunSearch é uma ferramenta capaz de encontrar soluções em matemática, usada em conjunto com um grande modelo de linguagem chamado Codey. Durante o processo de resolução, eles também conseguiram resolver o problema de "bin packing" (empacotamento de bins).
Esta pesquisa demonstra o potencial dos grandes modelos de linguagem na pesquisa matemática.
