According to TheRundownAI, DeepMind’s system hit 48% on FrontierMath Tier 4 and helped resolve a Kourovka Notebook problem with Oxford’s Marc Lackenby.