Autoresearch for Integer Factorization
github.com