Study notebook

Press N to jot a timestamped note or B to pin a moment while watching.

The IEANTN Project: Automation and Mathematical Understanding

Researcher

38:29·2026·graduate level·Research Seminar

Exploring the Integrated Explicit Analytic Number Theory Network (IEANTN), a system designed to formalize and organize complex results in analytic number theory using Lean.

History Mathematics History of Science & Literature Formal Methods & Type Theory Number Theory & Abstract Algebra analytic number theory

New Technologies in Mathematics Seminar 10/28/2026

Speaker: Xinjie He, UCLA

Comments

Add a comment...Sign in

Related lectures

Bridging Affine Vertex Algebras and Affine Springer Fibers

Peng Shan · Tsinghua University

Shared subfield · History of Science & Literature & Number Theory & Abstract Algebra

Progress on Zeta and L-Functions Motivated by the Riemann Hypothesis

Kannan Soundararajan · Clay Mathematics Institute

Shared subfield · Number Theory & Abstract Algebra & analytic number theory

Structure and Randomness in the Prime Numbers

Terence Tao · UCLA

Shared subfield · Number Theory & Abstract Algebra & History of Science & Literature

The Role of Computer Assistance in Mathematical Proofs

Kevin Buzzard · Imperial College London

Shared subfield · Formal Methods & Type Theory

Positional Encodings and Group Theory in Transformers

Grant Sanderson (3Blue1Brown), Alok Puranik · Jane Street

Shared subfield · Number Theory & Abstract Algebra

Resonances on Geometrically Finite Graphs and Buildings

Tobias Weich · Paderborn University

Shared subfield · Number Theory & Abstract Algebra