"We identified a profound duality in our research: when the proof difficulty of a geometric proposition is far higher than its construction complexity, it possesses 'aesthetic value' as an ...