Machine Learning G2 Geometry

Hybrid

New Technologies in Mathematics Seminar Speaker: Elli Heyes, Imperial College Title: Machine Learning G2 Geometry Abstract: Compact Ricci-flat Calabi-Yau and holonomy G2 manifolds appear in string and M-theory respectively as descriptions of the extra spatial dimensions that arise in the theories. Since 2017 machine-learning techniques have been applied extensively to study Calabi-Yau manifolds but until 2024 […]

Discovery in Mathematics with Automated Conjecturing

Hybrid - G10

New Technologies in Mathematics Seminar Speaker: Randy Davila, RelationalAI and Rice University Title: Discovery in Mathematics with Automated Conjecturing Abstract: Automated conjecturing is a form of artificial intelligence that applies heuristic-driven methods to mathematical discovery. Since the late 1980s, systems such as Fajtlowicz’s Graffiti, DeLaViña’s Graffiti.pc, and TxGraffiti have collectively contributed to over 130 publications in mathematical […]