| ▲ | compass_copium 2 hours ago | |
...am I wrong in thinking that 1(a) is the relevant section here, and shows a lot of red? | ||
| ▲ | Davidzheng 2 hours ago | parent [-] | |
I honestly don't see the point of the red data points. By now all the erdos problems have been attempted by AIs--so every unsolved one can be a red data point. | ||