Super Wisdom. From Mathematical Proofs to Quantum Algorithms and Artificial Intelligence (en Inglés) - Charles Tang

What if mathematical theorem proving could lead not only to proofs, but to entirely new forms of intelligence?

In this ambitious and interdisciplinary work, Charles Tang explores the emerging convergence of mathematics, artificial intelligence, quantum computing, and computational philosophy. Beginning with recent advances in AI-assisted theorem proving-including systems inspired by AlphaProof, Lean, and large language models-the book develops a broader framework known as the Super Wisdom Unified Theory (SWUT).

SWUT attempts to unify five major dimensions of intelligence:

and examines how these components may be modeled, approximated, or extended through quantum-inspired computational systems.

Rather than treating incompleteness, undecidability, and non-computability as merely theoretical limitations, this book interprets them as signposts pointing toward new forms of reasoning and algorithm generation. The work further introduces speculative but structured frameworks such as:

Bridging theorem proofs with practical code generation, the book investigates how future systems may move beyond conventional machine learning toward computational structures capable of generating non-local, cross-domain, and high-value ideas.

This book is intended for readers interested in:

While some sections contain formal mathematical reasoning, the book is also written as an exploration of a larger question:

Can intelligence evolve beyond traditional computation-and if so, what comes next?

Part theoretical framework, part research manifesto, and part technological vision, Super Wisdom offers a provocative look at the future intersection of mathematics, AI, and quantum-inspired intelligence.