En el artículo «Mathematics and machine creativity: A survey on bridging mathematics with AI», se analiza cómo la IA transforma la investigación matemática. Aunque los modelos actuales fallan en lógica deductiva pura, su capacidad inductiva ofrece un valioso apoyo creativo para los matemáticos.

El texto destaca tres aplicaciones: demostraciones asistidas por computadora, formulación de conjeturas mediante reconocimiento de patrones y construcción de objetos matemáticos. Herramientas como FunSearch demuestran el potencial de la IA para descubrir soluciones innovadoras que superan las capacidades humanas tradicionales.

Finalmente, se abordan los límites actuales y el impacto educativo. Pese a no crear conceptos abstractos nuevos, la IA actúa como un socio estratégico que potencia la intuición humana, fomentando una colaboración interdisciplinaria necesaria para resolver problemas de la ciencia.