

I am also questioning OpenAI’s strategy of strip-mining math for PR, since it seems like advances in math do not actually register that well in the public.
They want to sell the claim that they’ve “achieved AGI”. For the general public they can sell on the vibe of “the computer talks back to you”, but for more sophisticated audiences, they need something firmer. Everyone with even a fraction of the ability to think for themselves has stopped trusting benchmarks, so OpenAI and Anthropic has been looking for things associated with intelligence they can claim success on. Math proofs have the property of being somewhat automatically checkable, having lots of ideas scattered throughout the literature to let their LLMs sift through, and being associated with intelligence.
Because rationalists distrust mainstream normal science and skepticism, they are far more willing to dabble in mysticism and the supernatural than normal skeptics.