4 ms·Three different papers pushed to ArXiv proving same 1986 conjecture; all use AI2 points by pfdietz 2mo ago