
Project SummaryPRIMABOINCA is a research project that uses Internet-connected computers to search for a counterexample to some conjectures.
This project concerns itself with two hypotheses in number theory. Both are conjectures for the identification of prime numbers. The first conjecture (
Agrawal's conjecture) was the basis for the formulation of the first deterministic prime test algorithm in polynomial time (
AKS algorithm). Hendrik Lenstra's and Carl Pomerance's heuristic for this conjecture suggests that there must be an infinite number of counterexamples. So far, however, no counterexamples are known. This hypothesis was tested for n < 10
10 without having found a counterexample. The second conjecture (
Popovych's conjecture) adds a further condition to Agrawal's conjecture and therefore logically strengthens the conjecture. If this hypothesis would be correct, the time of a deterministic prime test could be reduced from O(log N)
6 (currently most efficient version of the AKS algorithm) to O(log N)
3.
ApplicationsThe following platforms are supported:
Linux/x86
Windows/x86
Mac OS 10.4+ running on an Intel CPU
Connecting to PRIMABOINCAThe projects Home Page is located at:
http://www.primaboinca.com/PRIMABOINCA is listed as a project in BOINC and the various BOINC Account Managers for direct connection.
Following your registration don't forget to join BOINC@Australia Team by following the directions on the Home Page.
StatisticsView our Team Members List and their current score:
hereView BOINStats detailed stats for our PRIMABOINCA Team:
here