embracingAI.pdf

sites.math.washington.edu · Aug 23 · 🤖 AI

EMBRACING AI AND FORMALIZATION: EXPERIMENTING WITH TOMORROW’S MATHEMATICAL TOOLS JAROD ALPER Abstract. You’ve heard the buzz: AI and formalization will revolutionize mathematics. Computers will soon surpass humans in solving olympiad-style problems. Humans will transition from proving research-level...