Member Seminar Speaker: Mike Douglas Title: AI and Theorem Proving Abstract: We survey interactive theorem proving and the Lean theorem prover, and the use of AI and large language models to improve this technology. We hope to start a discussion on projects we can do at the CMSA.
Member Seminar Speaker: Chuck Doran Title: Motivic Geometry of Two-Loop Feynman Integrals Abstract: We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into a mixed Tate piece and a variation of Hodge structure from […]
Member Seminar Speaker: Farzan Vafa Title: Dynamics of active nematic defects on cones Abstract: In the first part of the talk, we investigate the ground-state configurations of two-dimensional liquid crystals with p-fold rotational symmetry (p-atics) on cones. The cone apex develops an effective topological charge, which in analogy to electrostatics, leads to defect absorption and emission […]