2 ms·
He's pointing out that erdosproblems.com is an eventually consistent list of solved problems, so there may be a lag between when a problem is solved and when it
by ModernMech 1y ago
He's pointing out that erdosproblems.com is an eventually consistent list of solved problems, so there may be a lag between when a problem is solved and when it's marked as such on his site.