Assertion: known prime number | /r/HasProperty | found via computer
Facets:
Source sentences:
text: It was found via a computer volunteered by Patrick Laroche of the Great Internet Mersenne Prime Search (GIMPS) in 2018.