A Homological Proof of P != NP: Computational Topology via Categorical Framework 9 months ago
math looks pretty legit. the only issue would come from the formulation of the category Comp and if it actually represents what it wants to. Hopefully some bigshot looks at this soon