ParentFull threadjonjacky·57 is called the "Grothendieck Prime" after another eminent mathematician who erroneously said it was prime.Maybe Terry was making an inside joke?https://en.wikipedia.org/wiki/57_(number)View on HN