Media Summary: Where is Mathematics Going? ~ Is there a better way to do this? In this Presidential Lecture, Title: Formalizing mathematics today Speaker: Professor Will computers be able to do mathematical research, make conjectures, and prove theorems ?
Interview With Kevin Buzzard - Detailed Analysis & Overview
Where is Mathematics Going? ~ Is there a better way to do this? In this Presidential Lecture, Title: Formalizing mathematics today Speaker: Professor Will computers be able to do mathematical research, make conjectures, and prove theorems ? Abstract: Recently I have been helping to build a computer-readable undergraduate mathematics library, and I've been working a ... Kevin Buzzard, Feb 4 2026, AI and Math seminar, Rutgers Title: Potential modularity of residual representations Speaker: Professor
I will talk about my ongoing attempt to teach Lean a proof of Fermat's Last Theorem. I'll give a broad talk including an update on ... Source: There's been a lot of talk recently about whether artificial intelligence is ...
