UA-UMO 2023 Problem 111

Set $M$ contains $n \ge 2$ positive integers. It's known that for any two different $a, b \in M$ , $a^2+1$ is divisible by $b$ . What is the largest possible value of $n$ ?

Proposed by Oleksiy Masalitin