Can the Most Abstract Math Make the World a Better Place?

2026-03-04 · Source: artificial intelligence – Quanta Magazine · Field: Science & Research — Mathematics & Computational Sciences, Environmental Science & Earth Systems, Engineering & Applied Sciences · Depth: Intermediate, long

Summary

Mathematical physicist John Baez initiated a call for "green math" in 2011, advocating for new mathematical approaches, specifically applied category theory, to model complex systems like Earth's biosphere and climate. While traditional math struggles with such complexity, applied category theory, which formalizes relationships between mathematical objects and their "morphisms" (relationships), has gained traction, with over 100 mathematicians now involved. Despite initial skepticism and challenges in climate modeling due to existing sophisticated but less rigorous models, this abstract approach shows promise in areas like epidemiology and AI safety. For instance, the StockFlow software uses category theory to combine diverse epidemiological data, and the Safeguarded AI project applies it to build formal training models for AI systems operating critical infrastructure.

Key takeaway

For AI scientists developing or deploying AI in critical systems, consider applied category theory as a foundational tool for enhancing AI safety. Its ability to create modular, logically structured models of complex real-world systems can provide robust training environments, helping to ensure unpredictable AI operates reliably. Exploring frameworks like those used in the Safeguarded AI project could mitigate risks associated with AI integration into essential infrastructure.

Key insights

Applied category theory offers a rigorous framework for modeling complex, interconnected real-world systems by formalizing relationships.

Principles

• Objects are defined by their relationships (morphisms).
• Conflating different types of quantities leads to modeling errors.

Method

Model systems as categories of objects and morphisms, allowing for modular composition of diverse data and logical structures to prevent "category errors" in complex systems.

In practice

• Use StockFlow for compositional epidemiological modeling.
• Apply category theory to build formal AI training environments.

Topics

• Applied Category Theory
• Green Mathematics
• Epidemiological Modeling
• AI Safety
• Complex Systems Modeling

Best for: AI Scientist, AI Researcher, Research Scientist, AI Student

Related on AIssential

• OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking — OpenAI's AI disproved a long-standing mathematical conjecture by applying unexpected tools from algebraic number theory.
• The "Final Boss" of Deep Learning — Intrinsic architectural improvements, not just tool use, are crucial for robust algorithmic reasoning in language models.
• Mila World Modeling Workshop: wrap-up — Advancing AI requires systems that perceive, reason, and act in the real world, integrating safety and scientific understanding.
• The Mathematics of AI Winters: The mathematical Taxonomy of Paradigm Fragility in AI Winter — AI winters were fundamentally influenced by mathematically precise bottlenecks, not just engineering or commercial failures.
• General Supervised Learning Framework for Open World Classification — A data- and model-agnostic framework automates unknown class identification, categorization, and model updates in open-world classification.
• Position: Don't Just "Fix it in Post": A Science of AI Must Study Training Dynamics — A scientific understanding of AI requires studying training dynamics, not just post-training analysis, to predict and control model behaviors.

Open in AIssential →

Editorial summary, takeaway, and curation by AIssential. Original article published by artificial intelligence – Quanta Magazine.