Edit: and most CS programs do not emphasize traditional math anyways. No analysis, some linear algebra, very very little abstract algebra, and that's pretty much it.
What CS degree doesn't require a course in algorithms? I assume there are some Software Engineering degrees that don't, but how can you spend 4 years studying computer science without an algorithms course?
>And CS students at public/state universities are largely mathphobic.
I agree that most CS students try to avoid relatively proof heavy classes like Automata. But almost all CS courses require up to Calc 2 and discrete math, so I'm sure the truly "mathphobic" students would have majored in CIS or something else.
I also don't think this has anything to do with Standford MIT vs public universities. Students at those Universities would avoid elective proof heavy classes as well. I did undergrad at a relatively unknown state school, and now I'm in grad school in a top ten program. I know plenty of people from both schools who avoid rigorous proof heavy classes when they can.
https://www.csc.ncsu.edu/academics/undergrad/semester.php
There are many more X state universities that churn out computer science degrees than the top schools.
I plan on taking it, but only because it shows up in a few esoteric theoretical machine learning contexts.
This algorithm proves a quasipolynomial upper bound on the complexity of GI.
InChI is already based on nAUTy, which even this work acknowledges as the fastest general approach (except for saucy, bliss, etc).
So there are no implications of László Babai that have an impact on chemistry, AFAICT.