GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians (github.com) 1 points by yread 7mo ago ↗ HN
1 comment
[ 5.8 ms ] story [ 14.3 ms ] thread