
GPT-5.4 Pro Solves 60-Year-Old Erdős Problem #1196, Finds 'Book Proof'
OpenAI's GPT-5.4 Pro solved Erdős Problem #1196, a 60-year-old conjecture on primitive sets, in ~80 minutes. The AI discovered a purely analytic proof using von Mangoldt weights, rejecting the standard probabilistic approach used by mathematicians since 1935.














































