Abstract algebra, as an extension ... Tiep helped to prove part of the conjecture in 2013, and has worked “intensively” on the rest since then, he said in a Rutgers statement.