Mohammed Abouzaid

Professor of Mathematics

Stanford University

1 standalone talk · 1 total lecture · 1h recorded

AI & Machine Learning Physics & Cosmology

Standalone talks by Mohammed Abouzaid

Self-contained public lectures, keynote addresses, and research seminars.

The Arnold Conjecture and Its Intersections with AI-Assisted Proofs

1:04:32

AI & ML·Research Seminar

The Arnold Conjecture and Its Intersections with AI-Assisted Proofs

Mohammed Abouzaid·Stanford University

Mohammed Abouzaid details recent advancements and an AI-assisted counterexample to the degenerate Arnold Conjecture, integrating work on Lagrangian intersections and Takens' results.