The AI Mathematics Revolution: When Machines Started Solving Unsolved Problems

This timeline would trace how AI systems moved from assisting mathematicians to reportedly producing large batches of solutions to long-standing problems. It would start with earlier formal-proof and automated-conjecture milestones, then follow the frontier-model releases, the verification fights, and the ethics debates over credit, authorship, and what counts as mathematical discovery. This timeline was generated automatically by TimeStrands AI from Wikipedia research. Facts are sourced; framing may be imperfect.