AI is accelerating mathematical research in increasingly deep problems We’re partnering with the @AIMathematics to develop open, human-centric benchmarks for AI in mathematical research The benchmark is built around 50+ hard problems selected by mathematicians to measure how AI can accelerate discovery, from generating new ideas to tackling some of the field’s most challenging questions