'Alien's language' problem that stumped mathematicians for decades may finally be close to a solution

The Inter-universal Teichmüller Theory, an infamous proof that has confounded mathematicians for over a decade, has been partially solved.