A new formal attempt at P ≠ NP avoiding known barriers | Heykuki News