AI in mathematics

Schneier and Rafi put a near-term ceiling on how fast AI will break cryptography

Anthropic published two AI-derived cryptanalysis results in July and OpenAI's model disproved an 80-year-old conjecture in May, but both authors argue the models are still weak exactly where deep new theory is required.