These open problem solutions often reveal tighter bounds on prior conjectures. Even if the solutions produced are far from elegant and only machine verifiable,

These open problem solutions often reveal tighter bounds on prior conjectures. Even if the solutions produced are far from elegant and only machine verifiable, we do learn new information. But I agree that just like writing prose and code, brainstorming frontier math proofs is a perishable skill