Reaction
A 2019 interview about AI for math and software engineering, revisited
Christian Szegedy shared an AI-generated summary describing his ambition to build AI that could write and verify complex code.
TLDR
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.
Combined views
1.4K
1 Source, first seen ago