We give the first polynomial improvements over the textbook algorithms for $3$SUM and All-Pairs Shortest Paths (APSP): we show how to deterministically solve $3$SUM on $n$ integers of polynomial size ...

If you’re reading this, there’s a very good chance you’ve seen this famous image of three iterations of SpaceX’s Raptor rocket engine.

What does this methodology measure anyway?

Why does AI worry applied mathematicians less? We have met the machine before: human computers moved up to designing algorithms, and a computer run led to the solution. Driven by problems rather th…

In this article I show step-by-step how the fastest date algorithm can be sped-up by a further 2-12%.

Hidden correspondences hint at a deeper structure to the mathematical universe. Our columnist unpacks one of those connections and asks mathematicians what they might mean.

Dimitri Lozeve's blog: Two Types of Bureaucracy: Enabling and Coercive

Can AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving? This essay is my attempt to answer these question...

Recent experimental research has revealed surprising patterns in people's intuitions about free will and moral responsibility. One limitation of this research, however, is that it has been conducted e...