The comparison should be with GPT 5.2 pro which has been used successfully to solve open math problems.
alt Hacker News