The Arnold Conjecture and Its Intersections with AI-Assisted Proofs
Professor of Mathematics
1:04:32·2026·research level·Research Seminar
Mohammed Abouzaid details recent advancements and an AI-assisted counterexample to the degenerate Arnold Conjecture, integrating work on Lagrangian intersections and Takens' results.
AI & MLPhysicsLanguage Models & NLPClassical & Statistical MechanicsLagrangian Floer TheoryArnold Conjecture
Workshop on Lagrangian Floer Theory and Applications 10/2/2026
Speaker: Mohammed Abouzaid, Stanford University
Comments
Add a comment...Sign in