Remix.run Logo
Kotlopou 7 hours ago

No idea about which is more likely, but I'm rooting for Yang-Mills. It's absurd that fundamental physics has formulated its most precise currently known theory way back in the seventies and since then, even a tiny subset of it can't be proven to be actually well-defined. If we got out of that morass then something good would come out of this at least.

Of course, as with all of those, it's about the broader program, e.g. section 7 here (https://www.scottaaronson.com/papers/npcomplete.pdf), where Scott Aaronson wants to ask about whether quantum computers using quantum field theory could gain any speed advantage over regular quantum computers, but can't even formulate the question because quantum field theory is mathematically ill-defined.

Just solving Yang-Mills because that's what the prize is attached to would be useless.