The problem that needs to be solved is the long conjectured Hadwiger theorem on the sphere. As of 2018, this is still unproven.
If one looks closely at the computer screens, it is revealed that the protagonist's name is Nicolas Kourkabi. This is a reference to the name Nicolas Bourbaki, a collective pseudonym of mathematicians.