It was a guess, based on what so many editors in Hollywood use. The "behind the scenes" video confirms it though - yes, they were using DaVinci Resolve.
I hope Apple takes that as a shot across the bow -- they need to up their game with FCP and its ecosystem, if the contractor they hired to produce an Apple event shot on iPhone and edited on Mac doesn't even use FCP.