News for hackers. Stuff that matters.
Re:Some stuff I found interesting about number theory research by deadbeef57 on Monday July 26, 2021 @01:43PM (#27962489)
I just want to say that in the case of the classification of finite simple groups, there's actually a bit of a problem. Exactly because "a lot of the deep expertise mathematicians" have left the field; but on the other hand "a small, curated subset of these techniques" is still missing. A small group of experts (all in their 70's or 80's) are currently writing a dozen volumes on this classification, and the rest of the community hopes that they get it done before they pass away.

This proof has a seriously low bus factor at the moment :scared:

Re:Some stuff I found interesting about number theory research by Hermitian909 on Monday July 26, 2021 @05:18PM (#27965633)
Oh you're right! I hadn't been aware that the book series was incomplete, my face is a bit red and I share your concerns. Here's to hoping!