4 ms·

I think the point here is that some "dumb" (brute force) software found something missed by all the field experts. I'm sure that in the next 20 years some "dum

by 21 9y ago

I think the point here is that some "dumb" (brute force) software found something missed by all the field experts. I'm sure that in the next 20 years some "dumb" math software, some sort of "Coq neural network arxiv crawler" will find some new math.

pbhjpbhj 9y ago
That doesn't seem accurate, the unpublished document was selected first before being matched using the software. I'm not sure how they are dating the unpublished document so as to be certain which is the earlier source. The NYT just says McCarthy claims the production date.