What is the current progress in verifying shinichi. Some people, no matter how brilliant, are poor judges of how graphic and personal communications are received by others. The absolute anabelian geometry of canonical curves. An abc proof too tough even for mathematicians the boston globe. Interuniversal teichmuller theory i construction of hodge theaters shinichi mochizuki april2020 abstract. Five years ago, cathy oneil laid out a perfectly cogent case for why the at that point recent claims by shinichi mochizuki should not yet be regarded as constituting a proof of the abc conjecture. Can someone briefly explain the philosophy behind his work and comment on why it might be expected to shed light on questions like the abc conjecture. It is far too early to judge its correctness, but it builds on many years of work by him. Shinichi mochizuki, initiator of iutt, says in 5 of his report. As of early 2020, the consensus that mochizuki s ideas do not constitute a proof is even stronger than what i describe below, particularly following the refutation offered by scholze and stix. Dec 17, 2017 the abc conjecture has still not been proved.
New proof of flt suppose we had an explicit upper bound on quality, e. The logical origin of the differences in viewpoint and so of misunderstandings by critics might be the different approaches to histories of operations on mathematical objects e. In this research the a short proof of the abc conjecture is presented. A brutal 500page math proof even experts cant understand is. Shinichi mochizuki and the impenetrable proof hacker news. However, the proof was based on a interuniversal teichmuller theory which mochizuki himself pioneered. Theorem mochizuki let d be a positive integer and pepfqa torsion point of order not dividing d. Even a tenured professor of mathematics specializing in the same field of number theory as mochizuki would probably have to do some background reading before being able to understand his paper. 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. What makes shinichi mochizukis proof idiosyncratic.
But some experts say author shinichi mochizuki failed to fix fatal flaw in solution of major arithmetic problem. In this paper, we continue our study of the issue of the extent to which a hyperbolic curve over a. What is the status on shinichi mochizukis abc conjecture. What is the status on shinichi mochizukis abc conjecture proof. David masser, a fellow number theorist now at the university of basel in switzerland, who recognized the potential importance of the conjec. Mochizukis anabelian variation of ring structures and. The safety confirmation information for shinichi mochizuki graphic on the whats new section is also rather strange when clicked on, the graphic confirms that mochizuki was safe on september 4, 2018, at 11. The abc conjecture is a conjecture in number theory, first proposed by joseph oesterle 1988 and david masser 1985. Where can i find pdfs of shinichi mochizukis proof of the. Although i dont really understand much even about the conjecture, i still think it is very interesting, but i cant find much about it after march 2016.
But some experts say author shinichi mochizuki failed to fix fatal flaw in solution to major problem. See the comments from david roberts about the simplification issue. Sep 28, 2018 in march 2018 peter scholze and jacob stix travelled to japan to visit shinichi mochizuki to discuss with him his claimed proof of the abc conjecture. There has been a backandforth in 2018 between shinichi mochizuki.
Pdf proof of the abc conjecture samuel bonaya buya. His name is shinichi mochizuki, and depending on how fluent you are in the fringes of number theory, hes either a peerless mathematical visionary or a reclusive, inscrutable cryptologist. Dec 19, 2017 a brutal 500page math proof even experts cant understand is about to be published. David michael roberts examines shinichi mochizuki s proof of the abc conjecture, and while he does not conclude that the proof is valid, neither does he conclude that it is not. Why does mochizuki insist on forgetting the previous history of an. In march 2018 peter scholze and jacob stix travelled to japan to visit shinichi mochizuki to discuss with him his claimed proof of the abc conjecture. Mathoverflow, philosophy behind mochizukis work on the abc conjecture. To nonspecialists all math papers are impenetrable, but what is it that made mochizuki s proof of the abc conjecture particularly so. The speaker makes no claim to the validity to the statements, and this talk is for entertainment purposes only. F rankfurt concerning the pro of of shinichi mochizuki 2. Diophantine analysis introduction the abc conjecture was first presented by david masser 1985 and joseph oesterle. Its completely unheard of for a major journal to publish a proof of an important result when experts have publicly stated that the proof is flawed and are standing behind that statement. It is a mathematical epic five years in the making. The safety confirmation information for shinichi mochizuki graphic on the whats new.
The article is just about how mochizuki claims to have proven abc, its the mainstream media catching up to something this sub has been aware of for a while. For those not up to speed on this story, see blog posts here and here from last december, as well as comments to those posts. Aug 03, 2016 a team of mathematicians met last week at kyoto university in another attempt to understand a proof unveiled almost four years ago by shinichi mochizukione that he claims offers a. Joseph oesterle, david masser 1985 shinichi mochizuki anounced the proof which the mathematical community perceives as a serious but unchecked claim. As the nature subheadline explains, some experts say author shinichi mochizuki failed to fix fatal flaw. He is one of the main contributors to anabelian geometry. The trouble is, hardly anyone can work out whether hes right.
On a summary of shinichi mochizukis proof for the abc conjecture. A japanese mathematician claims to have solved one of the most important problems in his field. Mochizuki has recently announced a proof of the abc conjecture. Meeting of math minds fails to clear up abc conjecture proof. Shinichi mochizuki, mochizuki shinichi, born march 29, 1969 is a japanese mathematician working in number theory and arithmetic geometry. In august 2012 shinichi mochizuki claimed a proof of the abc conjecture. Shinichi mochizuki is a mathematician specializing in number theory and has been described as so smart that the mathematical community is finding his work too difficult to proof check. Epic 600page math proof is about to be published, and experts arent impressed.
It was known from the beginning that it would take experts months to understand his work enough to be able to verify the proof. His contributions include his famous solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves. Have there been any updates on mochizukis proposed proof of the. Pdf 2 the intrinsic hodge theory of hyperbolic curves seoul 1998. Philosophy behind mochizukis work on the abc conjecture. His 600page proof of the abc conjecture, one of the biggest open problems. In 2012, shinichi mochizuki at kyoto university in japan produced a proof of a long standing problem called the abc conjecture, but no one could. The awardees written work, published over a period of at least ten years, should indicate in terms of breadth of readership an influence and accessibility enhanced by expository excellence. I am not asking what is the status of the purported proof of the abc conjecture, though that is obviously relevant. The only problem is that mochizuki s work is so esoteric that its proving difficult for the mathematical community to check his proof. In documents released in september 2018, scholzestix claimed the key lemma3. The abc conjecture has still not been proved persiflage. Titans of mathematics clash over epic proof of abc. Mathematicians anger over his unread 500page proof.
Mathematicians anger over his unread 500page proof new. Comments on mochizuki s 2018 report david michael roberts1 1 david. Pdf definitive tentative of a proof of the abc conjecture. On mochizukis report on discussions thehighergeometer. This last example of the frobenius mutation and the associated core constituted by the. Both sides to the current controversy will find themselves pleased, but neither side, wellpleased.
May 19, 20 internet surfers and the press are bound to investigate furiously. If nobody understands a mathematical proof, does it count. Jan 07, 2015 mathematicians anger over his unread 500page proof. Scholze and stix on the mochizuki proof not even wrong. In august 2012, a proof of the abc conjecture was proposed by shinichi mochizuki. Shinichi mochizuki, a mathematician at kyoto university, has released four papers on the internet describing his proof of what is known as abc conjecture. Bitcoins creator is japanese mathematician shinichi. Have there been any updates on mochizukis proposed proof of. What makes shinichi mochizuki s proof idiosyncratic. Why writing about math is the best part of common core. A brutal 500page math proof even experts cant understand. Shinichi mochizuki born march 29, 1969 is a japanese mathematician working in number theory and geometry. If shinichi mochizuki s 500page proof stands up to scrutiny, mathematicians say it will represent one of the most astounding achievements of mathematics of the twentyfirst century. Papers of shinichi mochizuki rims, kyoto university.
Proof of the abc conjecture, written by shinichi mochizuki. Mathoverflow, philosophy behind mochizuki s work on the abc conjecture. He is the leader of, originator and one of the main contributors to the branch of modern number theory called anabelian geometry. This conjecture has gained increasing awareness in august 2012 when shinichi mochizuki released a series of four preprints containing a claim to a proof of the abc conjecture using his inter. An abc proof too tough even for mathematicians the. The conjecture itself is briefly and informally described, but the bulk of the article concerns a purported proof of it that has been released by shinichi mochizuki. Shinichi mochizuki wikipedia, a enciclopedia livre. On shinichi mochizuki s proof of the abc conjecture.
Two mathematicians have found what they say is a hole at the heart of a proof that has convulsed the mathematics community for nearly six years. The saul gass expository writing award recognizes an author whose pu. Shinichi mochizuki maintains that his proof is not flawed despite the assertions of jakob stix and peter scholze that theyve discovered a serious, unfixable gap. Shinichi mochizuki, mochizuki shinichi, born march 29, 1969 is a japanese mathematician working in number theory and geometry. Can someone briefly explain the philosophy behind his work and comment on why it might be expected to shed light on. After eight years of debate, japanese mathematician shinichi mochizuki has found a publisher for his mammoth undertakingthe interuniversal teichmuller theory iut. Progress finally being made on understanding abc proof. In documents released in september 2018, scholzestix claimed the key lemma 3. This is quite trivial if one uses the fact that over any qalgebra any onedimensional com. The abc conjecture was formulated independently by joseph oesterle and david masser in 1985. The absolute anabelian geometry of canonical curves shinichi mochizuki received. Shinichi mochizuki is a japanese mathematician working in number theory and arithmetic. Three years on, mochizuki s proof remains in mathematical. A proof of the abc conjecture after mochizuki, preprint 2017, online.
We have reached out to mochizuki for comment, but havent heard back. Informs from nature mathematical proof that rocked. This last example of the frobenius mutation and the associated core consti tuted by the. Shinichi mochizuki solves problem business insider. The last couple months ive heard reports from several people claiming that arithmetic geometers peter scholze and jakob stix had identified a serious problem with mochizuki s claimed proof of the abc conjecture. By erica klarreich klaus kremmerz for quanta magazine shinichi mochizuki maintains that his proof is not. David michael roberts examines shinichi mochizukis proof of the abc conjecture, and while he does not conclude that the proof is valid, neither does he conclude that it is not. Mathematical proof that rocked number theory will be published. Mochizukis interuniversal teichmuller proof has been. The following topics were not covered during the workshop. The proof, which is 500 pages long and invents an entire new branch of mathematics that mochizuki calls interuniversal geometry, is apparently so complex that even experts.
Three years on, mochizukis proof remains in mathematical limbo neither debunked nor accepted by the wider community. Shinichi mochizuki and the impenetrable proof a japanese mathematician claims to have solved one of the most important problems in his field. After an eightyear struggle, embattled japanese mathematician shinichi mochizuki has finally received some validation. The proof will also have ramifications all over mathematics. Mathematician set to publish abc proof almost no one. The abc conjecture consequences hodgearakelov theoryinteruniversal teichmuller theory mordells conjecture theorem faltings 1984 suppose that c is a nonsingular curve of genus g over a. A crisis of identification david michael roberts inference.
His contributions include his solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. Mochizuki has estimated that it would take a maths graduate stu dent about 10 years to be able to understand his work, and fesenko believes that it would take even an expert in arithmetic geometry some 500 hours. Titans of mathematics clash over epic proof of abc conjecture. This guy says he solved the most controversial open. Did mathematician shinichi mochizuki invent bitcoin. In the summer of 2012 shinichi mochizuki, a noted japanese mathematician, released a series of four papers in which he may have succeededby. An identity connecting c and rad abc is used to establish the lower limit. Maths proof that rocked number theory will be published aby davide castelvecchi fter an eightyear struggle, embattled japanese mathematician shinichi mochizuki has finally received some validation. F rankfurt concerning the proof of shinichi mochizuki 2. See the references at interuniversal teichmuller theory. It is shown that the product of the distinct prime factors of abc is greater than the squareroot of c. A brutal 500page math proof even experts cant understand is about to be published. Lucien szpiro proposed a solution in 2007, but it was found to be incorrect shortly afterwards.
597 741 1234 814 509 204 1089 1377 1479 390 553 1058 1372 211 519 562 723 946 18 94 673 731 206 1168 1346 1090 1474 577 582 257 307 292 1306 833 569 1021 1088 704 1021 460 826 240 576