PRIMABOINCA is a research project that uses Internet-connected computers to search for a counterexample to some conjectures. Based at the AKS-conjecture and Popovych's-conjecture.