Algebra provides the formal framework to describe mathematical structures such as groups, rings and fields, while number theory investigates the properties of integers and their extensions. At their ...

OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.

The Canadian mathematician Robert Langlands has won the 2018 Abel Prize—one of mathematics’ most-prestigious awards—for discovering surprising and far-ranging connections between algebra, number ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...

Our research group is concerned with two lines of investigation: the construction and study of (new) cohomology theories for algebraic varieties and the study of various aspects of the Langlands ...

Mathematical logic and set theory provide the foundational language for modern mathematics, articulating precise notions of proof, computability and the hierarchy of infinities. Central themes include ...