(Re)imagining Mathematics in a World of Reasoning Machines
Akshay Venkatesh explores the evolving conceptualization and practice of research mathematics in an era of advanced automated reasoning, considering historical and philosophical dimensions.
Akshay Venkatesh is a Fields Medalist and Professor of Mathematics at Harvard University, recognized for his profound contributions to number theory and ergodic theory.
Verified alma mater degrees, faculty appointments, co-authors, doctoral lineage, and intellectual peers across the archive.
Self-contained public lectures, keynote addresses, and research seminars.