Speaker: James Gray - Virginia Tech Title: Machine learning and su(3) structures on six manifolds Abstract: In this talk we will discuss the application of Machine Learning techniques to obtain numerical approximations to various metrics of SU(3) structure on six manifolds. More precisely, we will be interested in SU(3) structures whose torsion classes make them suitable […]
On Wednesday, December 16 at 12:00 p.m. EST, WAM and CMSA will host a holiday seminar featuring Sabetta Matsumoto, Georgia Institute of Technology who will present The Inside View: Raymarching and the Thurston Geometries. The properties of euclidean space seem natural and obvious to us, to the point that it took mathematicians over two thousand years to […]
Speaker:Francis Lazarus, CNRS / Grenoble University Title: A universal triangulation for flat tori Abstract: A celebrated theorem of Nash completed by Kuiper implies that every smooth Riemannian surface has a C¹ isometric embedding in the Euclidean 3-space E³. An analogous result, due to Burago and Zalgaller, states that every polyhedral surface, obtained by gluing Euclidean […]
Don Zagier (Max Planck Institute for Mathematics and International Centre for Theoretical Physics) Title: Quantum topology and new types of modularity Abstract: The talk concerns two fundamental themes of modern 3-dimensional topology and their unexpected connection with a theme coming from number theory. A deep insight of William Thurston in the mid-1970s is that the […]
https://youtu.be/UnYrWuOzOlc Speaker: Josef Urban, Czech Technical University Title: AI and Theorem Proving Abstract: The talk will discuss the main approaches that combine machine learning with automated theorem proving and automated formalization. This includes learning to choose relevant facts for “hammer” systems, guiding the proof search of tableaux and superposition automated provers by interleaving learning and […]
Speaker: Christian Szegedy Title: Language Modeling for Mathematical Reasoning Abstract: In this talk, I will summarize the current state of the art of transformer based language models and give examples on non-trivial reasoning task language models can solve in higher order logic reasoning. I will also discuss how to inject injective bias into transformer networks via pretraining on […]