There's a lot more detail in this reddit post from the author - https://www.reddit.com/r/OpenAI/comments/1q6yw5g/how_we_used_gpt52_to_solve_an_erdos_problem/ ht

There's a lot more detail in this reddit post from the author - https://www.reddit.com/r/OpenAI/comments/1q6yw5g/how_we_used_gpt52_to_solve_an_erdos_problem/ https://www.reddit.com/r/OpenAI/comments/1q6yw5g/how_we_used...