http://factordb.com/index.php?id=1100000000832503659
Factordb says that it is proven by N-1, although Factordb knows of no prime factors for N-1. It does know of two 4K+ composite factors. I've not seen this before - do you know more about this that might make sense?