Advancing Mathematics Research with AI-Driven Formal Proof Search(arxiv.org)1 points·by mrkn1·2 miesiące temu·0 commentsarxiv.orgAdvancing Mathematics Research with AI-Driven Formal Proof Searchhttps://arxiv.org/abs/2605.227630 commentsPost comment—