| ▲ | btilly 2 days ago | ||||||||||||||||
You're really standing on the shoulders of giants when you rely on the classification of finite simple groups. Giants whose work has (dirty little secret) never truly been verified. The proof totals about 10,000 pages. At the end of the effort to prove it there were lots of very long papers, with a shrinking pool of experts reviewing them. There have been efforts to reprove it with a more easily verified proof, but they've gone nowhere. Hopefully, the growing ease of formalization will lead to a verification some day. But even optimistically that is still a few years out. | |||||||||||||||||
| ▲ | isotypic 2 days ago | parent [-] | ||||||||||||||||
> There have been efforts to reprove it with a more easily verified proof, but they've gone nowhere. My understanding was that the so called "second generation proof" of the classification of finite simple groups led by Gorenstein, Lyons, Solomon has been progressing slowly but steadily, and only the quasithin case had a significant (but now fixed) hole. Are there other significant gaps that aren't as well known? | |||||||||||||||||
| |||||||||||||||||