Matemáticos aplican teoría de categorías para modelar sistemas complejos como epidemias e IA
Matemáticos aplican la abstracta teoría de categorías a problemas prácticos como el modelado de brotes epidémicos y la creación de sistemas de IA más fiables, desarrollando marcos formales para sistemas complejos.
Matemáticos aplican teoría de categorías a epidemiología y seguridad de la IA
Más de 100 matemáticos desarrollan modelos formales de sistemas complejos. John Baez propuso en 2011 crear una matemática «verde» para entender la biosfera. Aunque el objetivo climático inicial no se ha logrado, el enfoque gana terreno en otras áreas.
De la abstracción pura a la aplicación práctica
La teoría de categorías estudia objetos y sus relaciones (morfismos). Aplicada, modela sistemas reales definiendo rigurosamente sus componentes e interacciones. Brendan Fong, del Instituto Topos, la describe como un marco para organizar estructuras lógicas.
Éxitos en modelado de epidemias
John Baez colabora con el científico Nate Osgood en StockFlow, un software para modelar brotes. Traduce diagramas de stocks y flujos en ecuaciones, permitiendo componer modelos de diferentes especialistas. Tom Leinster afirma que es «algo serio que podría usarse».
Un enfoque para la seguridad de la IA
El proyecto Safeguarded AI, financiado por la agencia británica ARIA, usa teoría de categorías para crear modelos formales de sistemas complejos. El objetivo es que las IAs practiquen en entornos con la misma estructura lógica que la realidad, aumentando la fiabilidad.
El origen: una llamada a las matemáticas «verdes»
El físico matemático John Baez, preocupado por el planeta, pidió en 2011 desarrollar nuevas matemáticas para modelar la biosfera y el clima. Propuso aplicar la abstracta teoría de categorías a este fin, iniciando un movimiento que ahora cuenta con conferencias, una revista y un instituto.
Un futuro de sistemas interconectados
Los teóricos creen que su enfoque será crucial conforme los sistemas crezcan en complejidad y la IA se integre más. Aunque el modelado climático, su motivación inicial, aún no adopta este método, persiste la esperanza de que una comprensión matemática más rigurosa del mundo natural pueda llevar a un trato más respetuoso con el planeta.