¡Klk, gente! Aquí en el patio siempre nos encanta ver cómo los cerebritos de verdad están sacándole el jugo a lo nuevo. Y hablando de eso, hay una vaina que tiene a la comunidad científica con la boca abierta: el australiano-estadounidense Terence Tao, considerado por muchos el “Mozart de las matemáticas”, está usando la Inteligencia Artificial (IA) para darle frente a algunos de los problemas matemáticos más complejos que han existido. Este hombre, que no es un cualquiera, está demostrando que la colaboración entre el genio humano y la IA puede ser la clave para descifrar enigmas que nos han dado guerra por siglos.
Terence Tao no es ningún novato en esto; se ganó la prestigiosa Medalla Fields en 2006, un reconocimiento que muchos equiparan al Premio Nobel de las matemáticas. Lo chulo de Tao es su versatilidad, su tigueraje para no encasillarse en un solo campo, sino para conectar áreas que parecían aisladas. Su reputación se ha forjado no solo por su capacidad individual, sino también por ser un tipo que está dispuesto a abrazar las nuevas tecnologías. Ahora, con la IA, su trabajo está cogiendo otro nivel, porque no solo está buscando soluciones, sino que está creando herramientas para que otros matemáticos también puedan romperla.
La integración de la IA en la matemática de alto nivel no es un relajo, es una herramienta poderosa que está revolucionando la forma en que los investigadores abordan desafíos monumentales. Por ejemplo, en octubre de 2024, Meta AI logró generalizar la función de Lyapunov, un concepto que el matemático ruso Aleksander Lyapunov propuso en 1892. Durante más de un siglo, los matemáticos se fajaron para encontrar un método general y no hubo forma. Sin embargo, la IA lo hizo. Esto no es solo un avance teórico, es un hito que demuestra el potencial de la tecnología para detectar patrones y realizar cálculos que superan la capacidad humana en tiempo y escala, acelerando descubrimientos que antes eran impensables.
Pero que nadie se ponga a creer que la IA va a sustituir a los matemáticos, ¡nada de eso! Tao lo ve clarito: es una “coautora de confianza”, una aliada para que los investigadores dejen la brega individual y se tiren a proyectos mucho más ambiciosos y colaborativos. De hecho, este maestro ha metido a Lean en su rutina diaria, un asistente de demostraciones y lenguaje de programación que verifica que los razonamientos matemáticos estén de lo más bien. La vaina es que Lean no solo ayuda a validar, sino que permite a los matemáticos construir argumentos complejos con una precisión milimétrica, eliminando errores humanos y liberando tiempo para la creatividad y la exploración de nuevas hipótesis.
Actualmente, Terence Tao y su coautora digital están de lleno en problemas que son un verdadero dolor de cabeza, como la conjetura de Collatz y las famosas ecuaciones de Navier-Stokes. Estas últimas son una vaina bacana porque, aunque se usan un viaje para pronosticar el clima o diseñar aviones, todavía no las entendemos a fondo. Los Problemas del Milenio, como Navier-Stokes, son retos con una recompensa de un millón de dólares del Clay Mathematics Institute para quien los resuelva, lo que subraya su importancia y dificultad. Imagínate el impacto global de finalmente descifrar cómo se comportan los fluidos con total exactitud.
La visión de Tao es que la IA del futuro no será solo una calculadora avanzada, sino una compañera intelectual que expandirá las fronteras de nuestro conocimiento de una manera que antes creíamos imposible. Esta sinergia entre el genio humano y la inteligencia artificial está marcando un antes y un después en la investigación matemática, abriendo puertas a descubrimientos que podrían cambiar el mundo. Si este es el futuro, ¡estamos de lo más bien! La matemática, que para muchos es un mundo “medio seco”, se pone jevi con esta clase de innovaciones. Es el tigueraje moderno.
Si te ha gustado este artículo, ¡compártelo con tus amigos, o déjanos un comentario!
Ingeniero de Sistemas especializado en Inteligencia Artificial y Automatización de Procesos. Con una trayectoria enfocada en la convergencia entre tecnología de vanguardia y comunicación digital, Ramón lidera la implementación de modelos generativos aplicados al periodismo dominicano. Su trabajo garantiza que la información que llega a la diáspora no solo mantenga nuestra identidad “del patio”, sino que cumpla con los más altos estándares de veracidad y optimización técnica de la web moderna (2026).
