All the drama around AI’s takeover of mathematics

All the drama around AI’s takeover of mathematics. It centres on OpenAI, and also names Anthropic. Reported by The Verge. Bharat Hunt files it under AI Research and AI Hardware — the section covering papers, benchmarks, evaluations, interpretability and safety results.
Written by Bharat Hunt from the headline and the coverage below. The original reporting is the source of truth.