Hacker News new | ask | show | jobs
Advancing Mathematics Research with AI-Driven Formal Proof Search (arxiv.org)
2 points by Jimmc414 5 days ago