That project is really ambitious! Although sophisticated number theory proofs require formal structure and peer evaluation, you can submit your proof here for comments. You may discover math collaborators more readily on forums like AoPS or Math Stack Exchange, but Habr is invite-only.