Proofs and Prompts

Lisa Valentini, PhD student at the University of Cambridge We are mathematicians: we seek answers to problems that, at present, have no solution. To do so, we study the work of other colleagues, adapt it to the context we are interested in and, starting from there, look for new solutions. Now, the problem to be […]

Daniel Litt, professor at the University of Toronto Three years ago, AI systems could not reliably add two numbers. A year ago, internal models at OpenAI and DeepMind received the equivalent of a gold-medal score on the IMO. Now, these systems are autonomously resolving major open questions. It’s hard to imagine this trend continuing for […]

Martin Drohmann, former postdoc at the Sandia National Laboratories Mathematics always was the story of humans searching for truth. Truth that is so compelling and universally verifiable that it is difficult to deny. Not always easy to believe: Although the details are lost, it took Pythagoras and his followers some significant time and effort to accept the […]

Uri Bader, Professor at Maryland University and Weizmann Institute Math exists. We explore it.We do not invent math. We invent ways of understanding and communicating it. We choose which parts of it to study, and we develop an adequate language for that that suits us, humans. But we explore an objectively existing domain. Empirical fact: our abstract […]

AHM communications group This is a short announcement about the birth of the Association for Human Mathematics (AHM), an organization run collectively by mathematicians at all career stages. Its main goal is to protect mathematics and its practitioners from the jaws of AI companies, whose actions are increasingly destructive to our discipline, to the environment, and to […]