Autoformalization and the Future of Math Research(neelsomaniblog.com)

https://www.neelsomaniblog.com/p/autoformalization-and-the-future