Quote:
Originally Posted by Madpoo
It's definitely better than having anything with "GIMPS" printed anywhere on it.
Maybe we need to do a contest for renaming GIMPS to something less gimpy?  Something we'd be proud to put on a t-shirt without answering a bunch of awkward questions? |
After 23 years and 17 primes it is a bit late to rename? At least 20 years too late?