I'm not saying that it's finished as in there-is-no-more-math-to-discover, I'm more saying that all the math at elementary-to-high school level is pretty much finalized, and kids will probably never learn about Chris Havens, even though for what he did, he probably needed to be a bigger "genious" than eg. Archimedes. Students at math courses, sure... but they learn about many mathematicians there, and most of them are not known by the geneal public.