3 ms·
...am I wrong in thinking that 1(a) is the relevant section here, and shows a lot of red?
by compass_copium 8mo ago
...am I wrong in thinking that 1(a) is the relevant section here, and shows a lot of red?
- Davidzheng 8mo agoI 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.
- compass_copium 8mo agoThe post's author points that out as well