So the mathematicians have found an algorithm for producing the roots of quintic and higher order polynomials in terms of power series? Normally one would find these roots using an iterative algorithm so this seems like a big deal.
The mathematician in question doesn't believe in infinity as an axiom, so he has a different understanding of what finding irrational roots means than others. From what I've gleaned from the other comments, it sounds like he does use an iterative algorithm to produce a power series solution.
