Autoformalization and the Future of Math Research

2 points | by nsomani an hour ago