Advancing mathematics research with AI-driven formal proof search

2 points | by azhenley 10 hours ago