O Teorema Zero

Qohen, an extraordinary but socially awkward computer genius is tasked to prove the Zero Theorem: the reason for human existence or lack thereof. However, the Management will do anything to steer him away from this project, including designing a life he can fall in love with. (MUBI)