For 20 years, this computational linguistics competition has inspired new generations of innovators in AI and language ...
Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.