Notes on a Path to AI Assistance in Mathematical Reasoning
2023-10-04Unverified0· sign in to hype
Alex Kontorovich
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might arrive at AI that is useful for the research mathematician.