Advancing mathematics research with AI-driven formal proof search

1 points | by 01-_- 8 hours ago