Abstract: We will explore the potential for AI to accelerate mathematical research in various phases, except for experimental mathematics. This talk will include considering the accessibility and functionality of proof assistants, and discussing insights from Tim Gowers, Terence Tao, and others. We should also be able to look at some concrete examples. There will be time at the end for discussion.
4176 Campus Drive - William E. Kirwan Hall
College Park, MD 20742-4015
P: 301.405.5047 | F: 301.314.0827