3 ms·

I'm not familiar with any of the people mentioned, but could you elaborate a bit on the unproved theorems? Were they generally supposed to be true?