Ariel Chinn @yellyc.bsky.social · 09/09/2026I don’t feel like I can form a good opinion about all of them, but P=NP and Reimann getting solved any time soon would completely knock me off my chair. 1170 0
Ariel Chinn @yellyc.bsky.social · 09/09/2026For Reimann, unless we get a counter example (which would knock me off my chair even more), I think Tao’s take on Navier-Stokes carries over that we are unlikely to get many useful advancements out of an LLM first proof. 1110 0
Ariel Chinn @yellyc.bsky.social · 09/09/2026As for P=NP, that would be more interesting because a counter example is actually the likely outcome and there even a super formalised one can probably give us a lot to work with. 1110 0
