The summer Math fell to the machines...

Fireship recaps a summer of AI models disproving decades-old math conjectures, from Erdos distance problems to a claimed advance on the Riemann hypothesis; for anyone tracking AI-in-math progress.