AI cracks 80-year-old mathematics challenge (Nature)
nature.com