The Liquid Tensor Experiment - IPAM at UCLA

Explore the groundbreaking "Liquid Tensor Experiment" in this 55-minute lecture presented by Adam Topaz from the University of Alberta at IPAM's Machine Assisted Proofs Workshop. Delve into the world of condensed sets, analytic rings, and the intricacies of the theorem at hand. Discover the key ingredients, experimental process, and verification methods used in this cutting-edge mathematical research. Gain insights into new mathematical concepts, blueprints, and meta-theorems while experiencing real-time mathematics unfold. Examine definitions and examples that illuminate the subject matter, providing a comprehensive understanding of this innovative approach to machine-assisted proofs in pure and applied mathematics.

Intro
Motivation
Theorem
Condensed Sets
analytic rings
analytic ring
the theorem
the ingredients
the experiment
verifying the theorem
new mathematics
blueprint
schultza
Meta theorem
Realtime mathematics
Definitions
Examples