GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematiciansgithub.com/neelsomani1 pointyread5 months ago