🔥 ChatGPT’s-5.4 pro seems to have made its strongest contribution to math yet.

By solving the erdős problem #1196 . What makes this especially notable is that the proof is being praised not just for solving the problem, but for introducing an elegant new construction

aipost 🏴