Storia: AI cracks 80-year-old mathematics challenge — researchers are astonished — Warptech Lab News