yeah if someone proved P != NP --> OWFs, that would be the seminal result of a generation of work in computer science theory.