Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics.

Ken Ono, one of the most prominent figures in modern number theory, has taken leave from the University of Virginia to join Axiom Math, an AI startup founded by his former student, Carina Hong.

If you’re a hacker you may well have a passing interest in math, and if you have an interest in math you might like to hear about the direction of mathematical research. In a talk on this topic [Kevin ...