Rumor is P = NP, specifically there is a promising route to 3-SAT in O(n^{808017424794512875886459904961710757005754368000000000})