Autoformalization and the Future of Math Research #1 Post by nsomani » Fri, Jan 30, 2026, 5:50 PM UTC Autoformalization and the Future of Math Researchneelsomaniblog.com