From Expert-Guided Proof Search to Automated Open-Problem Solving