Open, the site's label (page last edited 2026-01-23). The site's proof-claims tab carries one proof claim, submitted 2026-10-01 by Amir Sarid as a full proof and pending on its claim page (Sarid, 2026): a formula for the number of subgroups of $S_n$ whose relative error decays exponentially in $n$. It answers the first question and not the question on orders.