Hacker News new | ask | show | jobs
Autoformalization and the Future of Math Research (neelsomaniblog.com)
2 points by nsomani 132 days ago