Diez avances en matemáticas y ciencia de la computación teórica

Investigadores de OpenAI han resuelto diez problemas matemáticos que llevaban sin avances significativos durante al menos una década. La empresa utilizó una versión interna de su próximo modelo, Astra, para encontrar soluciones a estos problemas.

Los problemas abordados por OpenAI se caracterizaban por su complejidad y la falta de progreso en su resolución durante años. La empresa afirma haber gastado menos de 2.000 dólares en tokens para resolver cada uno de los problemas. Los resultados se han publicado en un repositorio de GitHub, que incluye formalizaciones de Lean 4 y un documento que describe las soluciones.

“Los resultados se han publicado en un repositorio de GitHub, que incluye formalizaciones de Lean 4 y un documento que describe las soluciones”

La comunidad matemática ha reaccionado con sorpresa y escepticismo ante estos avances. Algunos expertos han expresado su preocupación por el impacto que la inteligencia artificial podría tener en la disciplina. Sin embargo, otros, como el matemático Terence Tao, ven el potencial de la inteligencia artificial para colaborar con los humanos en la resolución de problemas matemáticos complejos.

La resolución de estos problemas matemáticos por parte de OpenAI puede marcar el comienzo de una nueva era en la colaboración entre humanos y máquinas en la investigación matemática. La empresa ha demostrado que la inteligencia artificial puede ser una herramienta poderosa para abordar problemas complejos y encontrar soluciones innovadoras. A medida que la tecnología continúa avanzando, es probable que veamos más colaboraciones entre humanos y máquinas en la resolución de problemas matemáticos y científicos.