Martin Hairer, a mathematician at the Swiss Federal Technology Institute of Lausanne. Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly ...