El Impacto de la IA en las Matemáticas: El Trabajo de Terence Tao

Terence Tao ha logrado formalizar la prueba de la conjetura polinomial de Freiman-Ruzsa utilizando una herramienta de IA, marcando un hito en la aplicación generalizada de la inteligencia artificial en la investigación matemática y causando una gran conmoción en la comunidad matemática.

En su blog, Tao detalla el proceso de formalización de la prueba utilizando Blueprint en Lean4. Este proyecto, que duró tres semanas, culminó con la formalización exitosa de la prueba de la conjetura polinomial de Freiman-Ruzsa, dejando a todos asombrados por el poder de la inteligencia artificial en la investigación matemática.