有趣的是：大約 3/4 個月前，我為一些學者解決了一組 AIME 風格的問題。 他們花了這麼長的時間來撰寫結果的摘要（如果我沒記錯是 96%），在此期間 Alex 解決了證明和 IMO，哈哈。

@littmath 這麼說來，不清楚在他們發布那份草案之前，證明是否會被解決。