Input (grade 12): More recently, in 2002, also modeled upon Ribet's method, Chris Skinner and Eric Urban have claimed they had a proof of a main conjecture for GL (2).
Output (grade 11): More recently, also modeled upon Ribet's method, Chris Skinner and Eric Urban have announced a proof of a main conjecture for GL (2).