A 2019 interview about AI for math and software engineering, revisited

Christian Szegedy looked back on a 2019 interview by Alexandr Wang about AI for math and software engineering. He said some of its ideas and timelines were considered “crazy” by most people at the time. An AI-generated summary he shared describes his interest in automated theorem proving and an AI software engineer that could write and verify complex code. Wang replied that he remembered the interview and called Szegedy visionary.