Hey! First time post. I have a very close friend that has been working on proving an unresolved computational complexity problem for a few years and he thinks he might have something worth looking at.
Do you guys know any professors or enthusiasts who would be willing to take a look at a proof to see if it might be promising? There are no local experts in the field and we're pretty lost on what to do for direction.
Any advice? Thanks!

