GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians(github.com)
1 pointby yread6 hours ago1 comment