Grindeq: Math Crack ((link))

: It is noted for being exceptionally fast, making it suitable for large documents like lecture notes or research papers.

For the truly elite problems (IMO Shortlist, Putnam), you need a meta-crack. This is the ability to reverse-engineer the problem setter's mind. grindeq math crack