In an interview with The Asahi Shimbun, Mochizuki called using IUT Theory to provide a proof of Fermat's Last ... submitted by the team and that it is set to be published soon.