Three different papers pushed to ArXiv proving same 1986 conjecture; all use AI

2 points | by pfdietz 2 hours ago

No comments yet