Unknown (or Unspecified) Proving Program

A titan, as defined by Samuel Yates, is anyone who has found a titanic prime. This page provides data on those that have found these primes. The data below only reflects on the primes currently on the list. (Many of the terms that are used here are explained on another page.)

User supplied image--mail editor to report abuse.

Proof-code(s):	x52
Code prefix:	x
E-mail address:	(e-mail address unpublished)
Username	Unknown	(entry created on 10/29/2003 13:15:41 UTC)
Database id:	560	(entry last modified on 5/11/2025 20:51:46 UTC)
Program Does *:	special
Active primes:	on current list: 2, rank by number 34
Total primes:	number ever on any list: 2
Production score:	for current list 40 (normalized: 0), rank by score 32
Largest prime:	7977227425 · (2³⁶⁸³⁵² - 2²⁵⁷⁸⁴⁹) + 2¹¹⁰⁵⁰⁵ + 1 ‏(‎110895 digits) via code x52 on 5/11/2025 20:52:12 UTC
Most recent:	7977227425 · (2³⁶⁸³⁵² - 2²⁵⁷⁸⁴⁹) + 2¹¹⁰⁵⁰⁵ + 1 ‏(‎110895 digits) via code x52 on 5/11/2025 20:52:12 UTC
Entrance Rank:	mean 48922.50 (minimum 48922, maximum 48923)

Descriptive Data: (report abuse)

This is just a place-holder entry. Sometimes we do not know what programs was used to prove primality--so the proof-codes for those primes have links to this entry. At other times, especially the x-codes, we know the proof program is something currently unlisted. Primes using an x-code with no comments explaining why the code is used will be removed (proof methods must be known or explained!)

If you feel a specific program should be listed, please let us know (use the links above or on the left)--we'll add the information to the database.

It is one of two accounts exempted from the "still no primes after 60 days means deletion" rule... This exemption is hard coded into the perl routine remove_unused_persons. A similar exception is hard coded into reweight.

Surname: Unknown (used for alphabetizing and in codes).
Unverified primes are omitted from counts and lists until verification completed.

I administer Unknown (or Unspecified) Proving Program and I would like to