The study meticulously combined economic data from the United States with detailed estimates of AI integration across industries to assess the prospective energy consumption and resulting emissions if AI usage continues along its current rapid growth trajectory. Given that 83% of the U.S. economy’s energy stems from fossil fuels such as petroleum, coal, and natural gas—major contributors to climate change—the urgency to evaluate AI’s carbon impact is paramount. This multidisciplinary effort exploits economic modeling and energy consumption metrics to establish a clearer understanding of AI’s role in national and global carbon emissions.

Surprisingly, the research reveals that the total electricity consumed by AI operations in the U.S. approximates the entire energy usage of Iceland, a relatively small country with a population under 400,000. While this might initially seem substantial, the researchers emphasize that on a broader scale, AI’s energy demands barely register against national or worldwide energy consumption totals. This insight challenges the dominant narrative that AI’s extensive computational processes inherently translate into major environmental detriments.

Dr. Juan Moreno-Cruz, a professor at the University of Waterloo’s Faculty of Environment and Canada Research Chair in Energy Transitions, highlights regional disparities in energy demand growth attributable to AI. He explains that power consumption increases will be geographically uneven, disproportionately affecting regions housing data centers dedicated to AI workloads. Some localities might experience a doubling of electricity output and related emissions, raising significant concerns for local energy infrastructure and pollution levels. Despite these localized impacts, the overall global influence remains marginal within the context of total energy consumption.

The study did not explore socioeconomic or environmental ramifications for communities surrounding these data centers, leaving open important questions regarding ethical energy sourcing and equitable economic impacts. Nevertheless, the authors underscore the broader optimism embedded in their findings: fears of AI becoming a climate menace are largely unfounded given current technological and infrastructural conditions. Instead, AI presents an unprecedented opportunity to innovate and accelerate green technologies, fostering a more sustainable future.

Moreno-Cruz and his co-researcher, Dr. Anthony Harding, employ an innovative approach, dissecting the U.S. economy into discrete sectors and jobs to evaluate which roles and processes could be replaced or enhanced by AI. This granular technique permits a precise projection of AI’s potential energy footprint by correlating labor automation potential with associated electricity consumption, making the study uniquely insightful in bridging economic activity with environmental analysis.

Moreover, the researchers advocate that AI-driven efficiencies could lead to indirect emissions reductions by streamlining processes, optimizing resource use, and enabling smarter grid management. These benefits illustrate how AI might function as a powerful enabler for mitigating climate change instead of exacerbating it. However, the scale and depth of these positive outcomes will depend heavily on policy frameworks, energy sources powering AI infrastructure, and the technology’s deployment across diverse industries.

Envisioning the future scope of their research, Moreno-Cruz and Harding are expanding their methodology to evaluate AI’s environmental implications in a global context. Cross-country analyses will consider variations in energy portfolios, economic structures, and AI adoption patterns, further illuminating the intricate relationship between digitalization and sustainability worldwide.

As AI systems become increasingly embedded in sectors ranging from manufacturing and logistics to agriculture and finance, understanding their energy footprints becomes not only a technical challenge but also a critical element of responsible technology governance. This study represents a step forward in constructing an evidence-based discourse on how AI can harmonize with environmental priorities, guiding stakeholders in balancing economic growth with planetary health.

Published in the esteemed journal Environmental Research Letters, this research articulates a message of cautious optimism. While AI’s contribution to energy consumption is certainly non-zero, its relative insignificance at macro scales coupled with its transformative capacity for green innovation suggests AI should be embraced rather than feared in the climate conversation. Future policies must, however, be vigilant about localized environmental justice issues where data center expansion might stress regional power grids and ecosystems.

Ultimately, this work reframes the climate narrative around AI, urging scientists, policymakers, and the public to adopt a more sophisticated view of technological progress. By acknowledging both the challenges and potentials of AI’s energy dynamics, stakeholders are better equipped to harness AI as a tool for a cleaner, more efficient energy future.

Subject of Research: Not applicable

Article Title: Watts and bots: the energy implications of AI adoption

News Publication Date: 11-Nov-2025

Web References:
https://iopscience.iop.org/article/10.1088/1748-9326/ae0e3b

Keywords:
Artificial intelligence, Energy resources, Electrical power, Electrical power generation, Energy resources conservation, Climate change, Climate change effects, Climate change mitigation, Data analysis, Economics, Industrial sectors, Environmental economics

At the University of Waterloo, a pioneering research group is tackling this challenge by blending the rigor of applied mathematics with the capabilities of modern machine learning. Their work focuses on providing mathematically sound verification for AI systems that govern time-varying physical processes. Dr. Jun Liu, a professor of applied mathematics and Canada Research Chair in Hybrid Systems and Control, leads this effort by leveraging classical tools such as differential equations to model dynamic systems characterized by continuous change, from the intricate flow of electricity across power grids to the nuanced movements of autonomous vehicles.

Central to their approach is the deployment of Lyapunov functions, a mathematical concept dating back to the late 19th century, which serve as certificates of stability for complex dynamical systems. If one imagines the behavior of a system as analogous to a ball rolling within a landscape, a Lyapunov function acts like the contours of a bowl that ensure the ball eventually settles into a stable equilibrium at the bottom. However, finding an appropriate Lyapunov function for modern, nonlinear systems controlled by AI has historically been a formidable mathematical problem, often requiring manual derivation and deep expertise.

To circumvent this bottleneck, Liu’s team harnessed the power of neural networks, a subclass of AI increasingly recognized for their ability to approximate complex functions and solve intricate problems. The innovation lies in training a neural network to satisfy the stringent mathematical constraints that define a valid Lyapunov function. More specifically, the network learns a function that confirms whether the system’s state will converge to a safe, stable operating point over time. Training such networks involves embedding the underlying physics and control laws of the system into the learning process itself—a method the researchers refer to as physics-informed neural networks.

However, the use of neural networks in safety-critical control systems introduces new questions about verification. Standard AI models can be opaque, leading to a lack of trust in their outputs. To address this, the Waterloo team supplemented their approach with a separate logic-driven reasoning system, a form of AI specializing in formal verification techniques. This reasoning layer rigorously checks whether the neural network’s output adheres to the mathematical criteria of safety, creating a closed loop of learning and verification that collectively provides a rare mathematical guarantee of system stability.

One of the remarkable outcomes of this dual AI approach—using one AI to design controllers and another to verify them—is the substantial reduction in the traditionally labor-intensive process of controller design and safety proof construction. What once required painstaking manual derivation and exhaustive analytical effort can now be performed more efficiently without compromising on the level of rigor demanded by critical applications.

Importantly, this approach does not advocate for the replacement of humans in the decision-making loop but rather for augmenting human capabilities. Dr. Liu emphasizes that ethical considerations and higher-order judgments remain the province of human experts. The AI systems are designed to offload the computationally demanding and error-prone tasks of mathematical proof generation and real-time control optimization. This symbiosis enables researchers and engineers to concentrate on oversight, interpretation, and policy, domains that intrinsically require human values and intuition.

To validate their framework, the researchers applied their combined machine learning and formal verification toolbox to several challenging control scenarios. These case studies demonstrated that their method either matched or outperformed classical techniques in ensuring system safety and stability. By incorporating physics knowledge directly into the learning architecture, they achieved more reliable and interpretable results than conventional black-box machine learning controllers could offer.

Looking forward, the team is actively developing their framework into an open-source software toolbox. This initiative promises to democratize access to advanced verification tools for the broader scientific and engineering communities, accelerating innovation in safe AI control applications. Furthermore, collaborations with industry partners are underway, aiming to translate these theoretical advances into practical, high-impact solutions for sectors where AI safety is paramount.

This research aligns closely with global efforts to foster transparent, responsible, and trustworthy AI technologies. At Waterloo, the project benefits from synergies with initiatives such as the TRuST Scholarly Network, which fosters interdisciplinary research to ensure AI systems adhere to ethical and safety standards. Concurrently, federal programs aimed at promoting accountable AI underscore the timeliness and societal importance of this work.

The technical breakthrough reported in the study, “Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification,” published in the journal Automatica, reflects a significant step toward integrating rigorous mathematical theory with state-of-the-art AI methods. By bridging these domains, the research outlines a promising pathway to endow AI-driven systems with verifiable safety properties, thus bolstering confidence in their deployment in real-world applications.

In summary, the University of Waterloo team’s novel approach represents a paradigm shift in ensuring the safe operation of AI controllers in dynamic physical systems. By combining the strengths of neural networks in function approximation with formal logic-based verification, they provide a comprehensive framework that addresses the long-standing challenge of guaranteeing AI safety. Their work underscores the potential of interdisciplinary innovation to solve some of the most pressing technological problems of our age, paving the way for a future in which AI-driven systems can be both powerful and trustworthy.

Subject of Research: Safe and trustworthy AI for dynamic physical systems through mathematical verification and machine learning

Article Title: Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification

News Publication Date: Not specified

Web References:

• https://uwaterloo.ca/applied-mathematics/profiles/jun-liu
• https://uwaterloo.ca/trust-research-undertaken-science-technology-scholarly-network/
• https://www.sciencedirect.com/science/article/pii/S000510982500086X

References:

• Liu, J. et al. (2025). Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification. Automatica.

Keywords:
Applied mathematics, Machine learning, Autonomous vehicles, Autonomous robots, Artificial neural networks, Neural networks, Applied sciences and engineering, Systems theory, Adaptive systems