Tweet thread for context:

For this to resolve YES, the original proof does not need to be perfect. It is not uncommon for there to be minor (and easily fixable) mistakes in a long technical proof. The key question is whether they are "easily fixable".

This can resolve NO as soon as the proof is demonstrated to be substantially incorrect and there has been a reasonable enough wait time to ensure that there isn't some "easy fix" to address the issue. Otherwise, I plan to resolve this YES if it has been 6 months after market creation and academic consensus appears to believe the proof. If after 6 months, this is still actively contested, then I will likely wait longer until things settle down.

As resolution here is fairly subjective, I won't trade.