GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians

1 pointsposted 13 hours ago
by yread
(github.com)

1 Comments