GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians
1 points
1 hour ago
| 1 comment
| github.com
| HN
▲
yread
1 hour ago
[-]
see also https://news.ycombinator.com/item?id=46772836
reply