{"id":3719,"date":"2012-09-10T16:45:14","date_gmt":"2012-09-11T00:45:14","guid":{"rendered":"http:\/\/experimentalmath.info\/blog\/?p=3719"},"modified":"2012-10-18T06:54:39","modified_gmt":"2012-10-18T14:54:39","slug":"japanese-mathematician-claims-proof-of-abc-conjecture","status":"publish","type":"post","link":"https:\/\/experimentalmath.info\/blog\/2012\/09\/japanese-mathematician-claims-proof-of-abc-conjecture\/","title":{"rendered":"Japanese mathematician claims proof of &#8220;abc&#8221; conjecture"},"content":{"rendered":"<p>Shinichi Mochizuki, a mathematician at Kyoto University in Japan, has released a 500-page proof of the &#8220;abc&#8221; conjecture, a celebrated unsolved problem originally posed in 1985.<\/p>\n<p>Let sqp(n) denote the square-free part of an integer n, or in other words the product of the prime factors of n.  For example, sqp(18) = 2 * 3 = 6 (here * denotes multiplication).  The abc conjecture asserts that for integers a, b and c, where a + b = c, the ratio sqp(a*b*c)<sup>r<\/sup>\/c always has some minimum value greater than zero for any value of r greater than 1. For example, if a = 3 and b = 125, so that c = 128, and r = 2, then sqp(a*b*c)=30 and sqp(abc)<sup>2<\/sup>\/c = 900\/128 = 7.03125.<\/p>\n<p>It turns out that this conjecture encapsulates many other deep problems of number theory, including Fermat&#8217;s Last Theorem (which states that a<sup>n<\/sup> + b<sup>n<\/sup> = c<sup>n<\/sup> has no integer solutions if n > 2), which was proven 17 years ago by Princeton mathematician Andrew Wiles. Brian Conrad of Stanford University notes that the abc conjecture &#8220;encodes a deep connection between the prime factors of a, b and a + b.&#8221;<\/p>\n<p>Needless to say, Mochizuki&#8217;s long, multi-step proof must be carefully scrutinized by mathematicians in the field before it can be taken seriously.  There have been many cases where a claimed proof of a major mathematical result was subsequently found to have serious flaws.  Some general principles to follow in judging whether a mathematical result should be taken seriously are given in our previous <a href=\"https:\/\/experimentalmath.info\/blog\/2011\/06\/quick-tests-for-checking-whether-a-new-math-result-is-plausible\">Math Drudge blog<\/a>.<\/p>\n<p>For additional details on the abc conjecture and Mochizuki&#8217;s manuscript, see the informative <a href=\"http:\/\/www.nature.com\/news\/proof-claimed-for-deep-connection-between-primes-1.11378\">Nature article<\/a>, from which some of the above note was taken, Barry Cipra&#8217;s <a href=\"http:\/\/news.sciencemag.org\/sciencenow\/2012\/09\/abc-conjecture.html\">Science Now article<\/a>, Kenneth Chang&#8217;s <a href=\"http:\/\/www.nytimes.com\/2012\/09\/18\/science\/possible-breakthrough-in-maths-abc-conjecture.html\">NY Times article<\/a> and Jeremy Teitelbaum&#8217;s article in <a href=\"http:\/\/today.uconn.edu\/blog\/2012\/10\/the-mochizuki-theorem-when-youre-so-smart-nobody-can-check-your-work\">UConn Today<\/a>.  Additional background information may be seen in the <a href=\"http:\/\/en.wikipedia.org\/wiki\/Abc_conjecture\">Wikipedia article<\/a> on the abc conjecture.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Shinichi Mochizuki, a mathematician at Kyoto University in Japan, has released a 500-page proof of the &#8220;abc&#8221; conjecture, a celebrated unsolved problem originally posed in 1985.<\/p>\n<p>Let sqp(n) denote the square-free part of an integer n, or in other words the product of the prime factors of n. For example, sqp(18) = 2 * 3 = 6 (here * denotes multiplication). The abc conjecture asserts that for integers a, b and c, where a + b = c, the ratio sqp(a*b*c)r\/c always has some minimum value greater than zero for any value of r greater than 1. For example, if <\/p>\n<p>Continue reading <a href=\"https:\/\/experimentalmath.info\/blog\/2012\/09\/japanese-mathematician-claims-proof-of-abc-conjecture\/\">Japanese mathematician claims proof of &#8220;abc&#8221; conjecture<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10],"tags":[],"class_list":["post-3719","post","type-post","status-publish","format-standard","hentry","category-news","odd"],"_links":{"self":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts\/3719","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/comments?post=3719"}],"version-history":[{"count":25,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts\/3719\/revisions"}],"predecessor-version":[{"id":3754,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/posts\/3719\/revisions\/3754"}],"wp:attachment":[{"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/media?parent=3719"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/categories?post=3719"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/experimentalmath.info\/blog\/wp-json\/wp\/v2\/tags?post=3719"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}