Primality proving of DB factors?
 

I used factordb for the first time last week (it's awesome, BTW) but I've been asked about whether the factors reported prime in the DB are proved to be so. Does the server use Primo when a new factor is reported, or something?

I don't use the site. I do know that, users have been taking groups of numbers that were probable primes and using primo and providing certificates. Numbers that are only Probably prime are indicated as such.

[url]http://www.factordb.com/status.html[/url]

[QUOTE=jasonp;274879]I used factordb for the first time last week (it's awesome, BTW) but I've been asked about whether the factors reported prime in the DB are proved to be so. Does the server use Primo when a new factor is reported, or something?[/QUOTE]Under 300 digits, primes are proved (I assume) with APRT. At the 300 digit level and above, it uses either PRIMO certs or N-1/N+1 (or combined) proofs.

The factordb also distinguishes between proven primes and probable primes - if a "prime" is not proven prime, the factordb outputs it as PRP.