CMSA Q&A Seminar
Common Room, CMSA 20 Garden Street, CambridgeCMSA Q&A Seminar Speaker: tba
3 events found.
The IEANTN Project: Automation and Mathematical Understanding
New Technologies in Mathematics Seminar Speaker: Xinjie He, UCLA Title: The IEANTN Project: Automation and Mathematical Understanding Abstract: Explicit analytic number theory combines conceptual arguments with extensive bookkeeping and numerical […]
A ‘Deep Blue-Kasparov moment for mathematics’
AI for the Working Mathematician Speaker: Tristan Buckmaster, NYU Title: A 'Deep Blue-Kasparov moment for mathematics' Abstract: In this talk I will describe recent work with Levent Alpöge proving the blow-up […]