Hacker News new | ask | show | jobs
Advancing mathematics research with AI-driven formal proof search (arxiv.org)
2 points by azhenley 17 days ago