Rigorous results on the bipartite mean-field model