▲ 2 pointsAdvancing Mathematics Research with AI-Driven Formal Proof Searcharxiv.orgby Jimmc414·23d ago·0 comments·view on hn ↗