Asymptotic density of certain class of finite groups (Solvable, Nilpotent, $p$-Group, etc).

Question

I read that there is a conjecture that most groups are $2$-groups.

This conjecture comes from the fact that by Higman-Sims asymptotic formula,

$\#$ of $p$-group of order $p^k= p^{\frac{2}{27}k^3 + O(\text{lower order terms})}$ with the fact that 2 is the smallest prime, so power of 2 just appears a lot more frequently. ($2^{100}\approx 3^{63} \approx 5^{43}$). But this conjecture seems to be far from being proven.

First, we have to formally define what "most" means. $\dfrac{\#_{\text{2-Group}}(\leq n)}{\#_{\text{Group}}(\leq n)}\to 1$ as $n\to \infty$ would be the formal statement of what it means for most groups to be $2$-groups.

$\\ $

So I was wondering if there are weaker results?

1. Most $p$-Groups are $2$-Groups. ie $\dfrac{\#_{\text{2-Group}}(\leq n)}{\#_{p\text{-Group}}(\leq n)}\to 1$ (It feels like this one is the easiest question, since it could be answered using just Higman-Sims formula along with some knowledge of the density of prime powers)

$\\$

2. Most Groups are $p$-Groups
3. Most Groups are Nilpotent
4. Most Groups are Solvable

Are any of these results proven? I believe all of these questions are true heuristically.

Answer 1

There is an excellent book by Blackburn-Neumann-Venkataraman called "Enumeration of finite groups". At the very end, it lists many open questions. Question 22.19 (attributed to Pyber and Mann) is precisely your question "Are most groups nilpotent?". The book also gives some evidence, but in general it still seems to be open.