Unsolvable word problem for Pi groups
Determine whether a finitely generated Pi-group satisfying the stated profinite embedding conditions can have an unsolvable word problem.
References
Can such a group $L$ have unsolvable word problem?
— Open Problems in Mathematical Logic
(2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 6, subsection Profinite groups, item (a)