In only its second year, the International Logic Olympiad is already booming as logic becomes more and more crucial in our ...

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new ...