Re:Erdos 281 solved with ChatGPT 5.2 Pro
by cubefox on Sunday January 18, 2026 @03:32PM
(#46671859)
There are 1135 Erdős problems. The solution to how many of them do you expect to be practically useless? 99%? More? 100%? Calling something useful merely because it might be in rare exceptions is the real sophistry.
[ Parent
| on HN ]
There are no comments on this comment yet.