Rethinking Wireless Communications through Formal Mathematical AI Reasoning

TL;DR

This paper proposes a new framework leveraging formal AI reasoning, including theorem proving and LLMs, to enhance the understanding and development of complex wireless communication systems.

Contribution

It introduces a three-layer framework of verification, derivation, and discovery tailored for wireless communication theory using formal AI reasoning methods.

Findings

Wireless domain is suitable for formal AI reasoning techniques.

A three-layer framework for wireless mathematical knowledge is proposed.

Potential for improved reasoning and discovery in wireless systems.

Abstract

Mathematical analysis has long underpinned wireless communication theory, yet the growing complexity of next-generation systems demands increasingly sophisticated reasoning from domain experts. Recent advances in AI mathematical reasoning, from formal theorem proving to large language model (LLM)-based derivation, offer a promising but largely unexplored path forward. Here we argue that wireless communications is a uniquely structured domain for formal AI reasoning, and propose a three-layer framework of verification, derivation, and discovery to rethink how wireless mathematical knowledge is established.