Hacker News new | ask | show | jobs
by hackernj 31 days ago
Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1