I started "Prime Target" on Apple TV last night and I knew the premise of this story sounded familiar! The protagonist is obsessed over a prime number problem.

Unrelatedly, I'd be curious what this couple thinks about using AI tools in formal math problems. Did they use any AI tools in the past 2 years while working on this problem?