Advancing mathematics research with AI-driven formal proof searchscience.org1 point·01-_-··0 commentsOpen articleSaveView on HN