Have there been any updates on mochizukis proposed proof of the. There has been a backandforth in 2018 between shinichi mochizuki. On mochizukis report on discussions thehighergeometer. David masser, a fellow number theorist now at the university of basel in switzerland, who recognized the potential importance of the conjec. Scholze and stix on the mochizuki proof not even wrong. Pdf definitive tentative of a proof of the abc conjecture. 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. What is the status on shinichi mochizukis abc conjecture proof. 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. Mathematical proof that rocked number theory will be published. Why writing about math is the best part of common core. Shinichi mochizuki, mochizuki shinichi, born march 29, 1969 is a japanese mathematician working in number theory and arithmetic geometry. It is a mathematical epic five years in the making. 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.
Both sides to the current controversy will find themselves pleased, but neither side, wellpleased. The safety confirmation information for shinichi mochizuki graphic on the whats new. His contributions include his famous solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves. He is one of the main contributors to anabelian geometry. As the nature subheadline explains, some experts say author shinichi mochizuki failed to fix fatal flaw. 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. Shinichi mochizuki born march 29, 1969 is a japanese mathematician working in number theory and geometry. A brutal 500page math proof even experts cant understand is. His 600page proof of the abc conjecture, one of the biggest open problems.
Shinichi mochizuki, a mathematician at kyoto university, has released four papers on the internet describing his proof of what is known as abc conjecture. By erica klarreich klaus kremmerz for quanta magazine shinichi mochizuki maintains that his proof is not. Diophantine analysis introduction the abc conjecture was first presented by david masser 1985 and joseph oesterle. Interuniversal teichmuller theory i construction of hodge theaters shinichi mochizuki april2020 abstract. 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. Epic 600page math proof is about to be published, and experts arent impressed. The abc conjecture has still not been proved persiflage. Meeting of math minds fails to clear up abc conjecture proof. The saul gass expository writing award recognizes an author whose pu. A brutal 500page math proof even experts cant understand is about to be published.
A crisis of identification david michael roberts inference. In documents released in september 2018, scholzestix claimed the key lemma 3. 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. Pdf 2 the intrinsic hodge theory of hyperbolic curves seoul 1998. 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. F rankfurt concerning the proof of shinichi mochizuki 2. On shinichi mochizuki s proof of the abc conjecture. Mathematicians anger over his unread 500page proof. It is shown that the product of the distinct prime factors of abc is greater than the squareroot of c. Proof of the abc conjecture, written by shinichi mochizuki. Comments on mochizuki s 2018 report david michael roberts1 1 david.
To nonspecialists all math papers are impenetrable, but what is it that made mochizuki s proof of the abc conjecture particularly so. After an eightyear struggle, embattled japanese mathematician shinichi mochizuki has finally received some validation. If nobody understands a mathematical proof, does it count. Mathoverflow, philosophy behind mochizukis work on the abc conjecture. 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. It is far too early to judge its correctness, but it builds on many years of work by him. Mathematician set to publish abc proof almost no one. The absolute anabelian geometry of canonical curves shinichi mochizuki received. Jan 07, 2015 mathematicians anger over his unread 500page proof. Lucien szpiro proposed a solution in 2007, but it was found to be incorrect shortly afterwards. 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. Shinichi mochizuki is a japanese mathematician working in number theory and arithmetic.
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 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. Shinichi mochizuki and the impenetrable proof hacker news. Pdf proof of the abc conjecture samuel bonaya buya. In august 2012 shinichi mochizuki claimed a proof of the abc conjecture. Dec 19, 2017 a brutal 500page math proof even experts cant understand is about to be published. Mochizukis interuniversal teichmuller proof has been. 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. In documents released in september 2018, scholzestix claimed the key lemma3.
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. An identity connecting c and rad abc is used to establish the lower limit. Dec 17, 2017 the abc conjecture has still not been proved. 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. Shinichi mochizuki, mochizuki shinichi, born march 29, 1969 is a japanese mathematician working in number theory and geometry. What is the status on shinichi mochizukis abc conjecture. Can someone briefly explain the philosophy behind his work and comment on why it might be expected to shed light on. Titans of mathematics clash over epic proof of abc conjecture. The abc conjecture is a conjecture in number theory, first proposed by joseph oesterle 1988 and david masser 1985. His contributions include his solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. See the comments from david roberts about the simplification issue.
The absolute anabelian geometry of canonical curves. In the summer of 2012 shinichi mochizuki, a noted japanese mathematician, released a series of four papers in which he may have succeededby. Progress finally being made on understanding abc proof. But some experts say author shinichi mochizuki failed to fix fatal flaw in solution of major arithmetic problem. 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. He is the leader of, originator and one of the main contributors to the branch of modern number theory called anabelian geometry. An abc proof too tough even for mathematicians the. 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. Informs from nature mathematical proof that rocked.
Mochizuki has recently announced a proof of the abc conjecture. 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. Mochizukis anabelian variation of ring structures and. Theorem mochizuki let d be a positive integer and pepfqa torsion point of order not dividing d. The trouble is, hardly anyone can work out whether hes right. 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. What makes shinichi mochizuki s proof idiosyncratic. What makes shinichi mochizukis proof idiosyncratic. In this research the a short proof of the abc conjecture is presented.
A brutal 500page math proof even experts cant understand. See the references at interuniversal teichmuller theory. However, the proof was based on a interuniversal teichmuller theory which mochizuki himself pioneered. New proof of flt suppose we had an explicit upper bound on quality, e. Shinichi mochizuki wikipedia, a enciclopedia livre.
After eight years of debate, japanese mathematician shinichi mochizuki has found a publisher for his mammoth undertakingthe interuniversal teichmuller theory iut. The abc conjecture was formulated independently by joseph oesterle and david masser in 1985. 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. On a summary of shinichi mochizukis proof for the abc conjecture. Bitcoins creator is japanese mathematician shinichi. 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. This last example of the frobenius mutation and the associated core constituted by the. Three years on, mochizukis proof remains in mathematical limbo neither debunked nor accepted by the wider community. Have there been any updates on mochizukis proposed proof of. May 19, 20 internet surfers and the press are bound to investigate furiously. Some people, no matter how brilliant, are poor judges of how graphic and personal communications are received by others.
This guy says he solved the most controversial open. Shinichi mochizuki solves problem business insider. We have reached out to mochizuki for comment, but havent heard back. This is quite trivial if one uses the fact that over any qalgebra any onedimensional com. Three years on, mochizuki s proof remains in mathematical. 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. Shinichi mochizuki and the impenetrable proof a japanese mathematician claims to have solved one of the most important problems in his field. Did mathematician shinichi mochizuki invent bitcoin. 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. Mathoverflow, philosophy behind mochizuki s work on the abc conjecture. 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. An abc proof too tough even for mathematicians the boston globe.
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. Papers of shinichi mochizuki rims, kyoto university. A japanese mathematician claims to have solved one of the most important problems in his field. I am not asking what is the status of the purported proof of the abc conjecture, though that is obviously relevant. 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. The proof will also have ramifications all over mathematics.
The only problem is that mochizuki s work is so esoteric that its proving difficult for the mathematical community to check his proof. Titans of mathematics clash over epic proof of abc. In this paper, we continue our study of the issue of the extent to which a hyperbolic curve over a. Philosophy behind mochizukis work on the abc conjecture. Joseph oesterle, david masser 1985 shinichi mochizuki anounced the proof which the mathematical community perceives as a serious but unchecked claim. A proof of the abc conjecture after mochizuki, preprint 2017, online. F rankfurt concerning the pro of of shinichi mochizuki 2. 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. 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. But some experts say author shinichi mochizuki failed to fix fatal flaw in solution to major problem. Where can i find pdfs of shinichi mochizukis proof of the.
It was known from the beginning that it would take experts months to understand his work enough to be able to verify the proof. 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. The speaker makes no claim to the validity to the statements, and this talk is for entertainment purposes only. In august 2012, a proof of the abc conjecture was proposed by shinichi mochizuki. The following topics were not covered during the workshop. This last example of the frobenius mutation and the associated core consti tuted by the. 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. What is the current progress in verifying shinichi.
660 354 672 600 1403 1114 837 932 1135 186 620 1094 680 688 1311 843 146 1232 569 419 382 1545 65 1270 856 366 202 489 351 223 979 1387 1156 1364 445 115 482 917