[This is a guest post by Raghu Meka. This blog post was initially written in a different file format and converted using AI. — T.] “This problem has been tried by several famous mathema…

Moni Naor is the recipient of the 2026 Donald E. Knuth Prize.The Knuth prize honors sustained and profound contributions to thefoundations of computer science, and it is difficult toimagine a career t...

Fixed-term: The funds for this post are available for 1 year.

Suggest a talk

Dear colleagues, Over the past weeks there have been more and more results in which AI models played a crucial role, not only in mathematics and theoretical computer science, but right at the heart o...

The Royal Society has today honoured our colleagues Professors Anuj Dawar and Srinivasan Keshav by electing them as Fellows. Many congratulations to them both!

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

This survey paper gives an overview of various known results on learning classes of Boolean functions in Valiant's Probably Approximately Correct (PAC) learning model and its commonly studied variants...

Gödel in Cryptography: Zero-Knowledge Proofs With No Interaction, No Setup, and Perfect Soundness

An Artin-Tits group is a group with a finite set of generators $latex a_1,\dots a_k$ in which every relation is of the form $latex (ab)^r=(ba)^r$ or $latex (ab)^ra=(ba)^rb$ for some positive intege…

We discuss a recent line of research investigating inverse theorems with respect to general k-wise correlations, and explain how such correlations arise in different contexts in mathematics. We outlin...

Explore an exciting academic career as a Postdoctoral Research Associate (Fixed Term). Don't miss out on other academic jobs. Click to apply and explore more opportunities.

Department of Computer Science - People: Sergii Strelchuk - QCOW

The 53rd EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place between 7–10 July, 2026.

Department of Computer Science - People: Sergii Strelchuk - QCOW