O Google DeepMind usou sua poderosa ferramenta de IA FunSearch, combinada com o grande modelo de linguagem Codey, para alcançar uma conquista notável: resolver com sucesso um problema matemático anteriormente não resolvido e, no processo, também resolver o problema do empacotamento de lixo. Este avanço não só demonstra o enorme potencial dos modelos de linguagem em grande escala no campo da investigação matemática, mas também fornece novas ideias e métodos para resolver futuros problemas matemáticos. Como um novo tipo de ferramenta matemática de resolução de problemas, a combinação do FunSearch com modelos de linguagem em grande escala trouxe mudanças revolucionárias à investigação matemática, indicando que a aplicação da inteligência artificial na investigação científica será mais profunda e extensa.
O Google DeepMind resolveu recentemente com sucesso um problema matemático não resolvido usando um grande modelo de linguagem. Usando a ferramenta de IA FunSearch, eles descobriram novas informações verificáveis e valiosas que não existiam antes. FunSearch é uma ferramenta que pode descobrir soluções na área de matemática, que é utilizada em conjunto com Codey, um grande modelo de linguagem. Durante o processo de resolução, eles também resolveram com sucesso o problema do empacotamento do lixo. Esta pesquisa demonstra o potencial de grandes modelos de linguagem na pesquisa matemática.
O sucesso desta investigação marca um marco na utilização da inteligência artificial na resolução de problemas científicos complexos e também proporciona uma nova direcção e esperança para a utilização da inteligência artificial para resolver mais problemas não resolvidos no futuro. No futuro, podemos esperar que a inteligência artificial desempenhe o seu papel poderoso em campos mais científicos e promova o rápido desenvolvimento da ciência e da tecnologia.