Google DeepMind ha utilizado un gran modelo de lenguaje llamado FunSearch para resolver un problema matemático irresoluble. Es la primera vez que se utiliza un modelo de lenguaje para descubrir la solución a un enigma científico. FunSearch combina un modelo lingüístico llamado Codey con otros sistemas para rechazar respuestas incorrectas y sugerir otras buenas. Los investigadores empezaron por esbozar el problema en Python y dejaron que FunSearch rellenara los espacios en blanco para sugerir código que lo resolviera. Tras varios millones de sugerencias y repeticiones, FunSearch produjo una solución correcta y desconocida hasta entonces al problema del conjunto de tapas. Este problema es importante en matemáticas y está relacionado con la multiplicación de matrices. FunSearch tiene ventajas sobre otras herramientas, ya que puede utilizarse para encontrar soluciones a una amplia gama de problemas y sus resultados son más fáciles de entender. Los investigadores también utilizaron FunSearch para resolver el problema de empaquetamiento de cubos, que resolvió más rápidamente que los métodos ideados por humanos. Los investigadores matemáticos siguen explorando cómo incorporar grandes modelos lingüísticos a su flujo de trabajo, y FunSearch ofrece una prometedora vía de avance.
