Share This Profile
Share this profile on Facebook.
Link to this profile on LinkedIn.
Tweet this profile on Twitter.
Email a link to this profile.
See other services through which you can share this profile.
This profile was last updated on 1/10/16  and contains information from public web pages.

Prof. Shinichi Mochizuki

Wrong Prof. Shinichi Mochizuki?


Email: s***@***.jp
Company Description: Founded in 1897 as the second university to be established in Japan, Kyoto University advances higher education and cutting-edge academic research while fostering a...   more

Employment History

  • Professor
    Research Institute for Mathematical Sciences


  • BS , mathematics
16 Total References
Web References
Caption: Go Yamashita lecturing on the ..., 10 Jan 2016 [cached]
Caption: Go Yamashita lecturing on the work of Shinichi Mochizuki. Philipp Ammon for Quanta Magazine
The occasion was a conference on the work of Shinichi Mochizuki, a brilliant mathematician at Kyoto University who in August 2012 released four papers that were both difficult to understand and impossible to ignore. He called the work "inter-universal Teichmüller theory" (IUT theory) and explained that the papers contained a proof of the abc conjecture, one of the most spectacular unsolved problems in number theory.
Mochizuki had developed IUT theory over a period of nearly 20 years, working in isolation. As a mathematician with a track record of solving hard problems and a reputation for careful attention to detail, he had to be taken seriously. Yet his papers were nearly impossible to read. The papers, which ran to more than 500 pages, were written in a novel formalism and contained many new terms and definitions. Compounding the difficulty, Mochizuki turned down all invitations to lecture on his work outside of Japan.
"People are getting impatient, including me, including [Mochizuki], and it feels like certain people in the mathematical community have a responsibility to do something about this," Kim said.
"We do owe it to ourselves and, personally as a friend, I feel like I owe it to Mochizuki as well."
Shinichi Mochizuki appearing via videoconference to answer questions. Shinichi Mochizuki appearing via videoconference to answer questions. Philipp Ammon for Quanta Magazine
Until Mochizuki released his work, little progress had been made towards proving the abc conjecture since it was proposed in 1985.
Mochizuki employed a similar strategy in his work on abc. Rather than proving abc directly, he set out to prove Szpiro's conjecture. And to do so, he first encoded all the relevant information from Szpiro's conjecture in terms of a new class of mathematical objects of his own invention called Frobenioids.
Before Mochizuki began working on IUT theory, he spent a long time developing a different type of mathematics in pursuit of an abc proof. He called that line of thought "Hodge-Arakelov theory of elliptic curves.
Go Yamashita lecturing on the work of Shinichi Mochizuki. Go Yamashita lecturing on the work of Shinichi Mochizuki. Philipp Ammon for Quanta Magazine
Mochizuki expressed much of the data from Szpiro's conjecture-which concerns elliptic curves-in terms of Frobenioids. Just as Wiles moved from Fermat's Last Theorem to elliptic curves to Galois representations, Mochizuki worked his way from the abc conjecture to Szpiro's conjecture to a problem involving Frobenioids, at which point he aimed to use the richer structure of Frobenioids to obtain a proof.
"From Mochizuki's point of view, it's all about looking for a more fundamental reality that lies behind the numbers," Kim said.
In presentations at the end of the third day and first thing on the fourth day, Kiran Kedlaya, a number theorist at the University of California, San Diego, explained how Mochizuki intended to use Frobenioids in a proof of abc.
The understanding that Mochizuki had recast abc in terms of Frobenioids was a surprising and intriguing development.
These techniques appear in Mochizuki's four IUT theory papers, which were the subject of the last two days of the conference. The job of explaining those papers fell to Chung Pang Mok of Purdue University and Yuichiro Hoshi and Go Yamashita, both colleagues of Mochizuki's at the Research Institute for Mathematical Sciences at Kyoto University.
"The reason it fell apart is not meant as a reflection of anything with Mochizuki," he said.
Others think the onus remains on Mochizuki to better explain his work. "[I] got the impression that unless Mochizuki himself writes a readable paper, the matter will not be resolved," Faltings said by email.
The abc game | bit-player, 7 Sept 2012 [cached]
Shinichi Mochizuki of Kyoto University has released a series of four long papers in which he claims to provide a proof.
Mochizuki is professor in the Research Institute for Mathematical Sciences in Kyoto.
Six months after Shinichi ..., 25 Mar 2013 [cached]
Six months after Shinichi Mochizuki of Kyoto University in Japan released his 500-page proof of the abc conjecture, that vetting process has yet to occur.
But this time, no one except Mochizuki seems to have any glimmering of how his proof works. It is so peculiar that mathematicians might have dismissed it as the work of a crank, except that Mochizuki is known as a deep thinker with a record of strong results.
Also, they really hope he is right.
In August, when Mochizuki released the four papers explaining his proof, a number of mathematicians dove into them eagerly. But they couldn't even understand his vocabulary. Mochizuki had built an entirely new mathematical field, one he named "inter-universal Teichmüller geometry," and populated it with objects no one had ever heard of: "anabelioids," "Frobenoids," "NF-Hodge theaters.
Mathematicians began clamoring for Mochizuki to explain the kernel of his ideas, but he refused.
I suspect that this is the psychology of the situation for Mochizuki. He said what he wanted to say in the paper."
Mochizuki has, however, been happy to answer specific questions by e-mail. And recently he released a "panoramic overview," though many mathematicians find it nearly as impenetrable as the full proof.
Rumors circulated that some of the leading figures in the field had become skeptical of the proof. Out of respect for Mochizuki - and hope that his proof will, in the end, turn out to be right - an effort was made to keep these rumors from circulating on the Internet, and no mathematician would go on the record expressing them. Still, the rumors have further dampened enthusiasm for the hard work of slogging through the four papers.
Hope rests on a couple of Japanese mathematicians believed to be talking through the proof with Mochizuki, but they are unwilling to talk to the press.
"What we need is for this stuff to exist in someone else's brain besides [Mochizuki's].
Shinichi Mochizuki, a ..., 18 Sept 2012 [cached]
Shinichi Mochizuki, a mathematician at Kyoto University, has released four papers on the internet ...
There's been a great deal of ..., 4 Oct 2012 [cached]
There's been a great deal of excitement in the math world recently, as Shinichi Mochizuki, a mathematician at Kyoto University in Japan, has recently released a 500-page proof of the abc conjecture, which proposes a relationship between prime numbers (numbers ... Continue reading >
Other People with the name "Mochizuki":
Other ZoomInfo Searches
Accelerate your business with the industry's most comprehensive profiles on business people and companies.
Find business contacts by city, industry and title. Our B2B directory has just-verified and in-depth profiles, plus the market's top tools for searching, targeting and tracking.
Atlanta | Boston | Chicago | Houston | Los Angeles | New York
Browse ZoomInfo's business people directory. Our professional profiles include verified contact information, biography, work history, affiliations and more.
Browse ZoomInfo's company directory. Our company profiles include corporate background information, detailed descriptions, and links to comprehensive employee profiles with verified contact information.