Abc-гипотеза: различия между версиями

9 байт добавлено ,  5 месяцев назад
м
м (→‎Формулировка: Уточнил.)
Опубликовав доказательство в интернете, Мотидзуки отказался от всех предложений лично рассказать сообществу о своих результатах, но несколько математиков взялись за самостоятельную проверку доказательства при содействии Мотидзуки. Они публикуют отчёты о ходе этой работы<ref>[http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verification%20Report%202013-12.pdf IUTeich Verification Report 2013-12], [http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verification%20Report%202014-12.pdf IUTeich Verification Report 2014-12]</ref>. Начиная с конца 2015 года, Мотидзуки стал понемногу общаться с сообществом о своих результатах<ref>[http://lenta.ru/news/2015/10/08/shinichimochizuki/ «Японский Перельман» согласился объяснить главнейшую тайну математики.] // Lenta.ru, 2015-10-08</ref>. На конец 2017 года в мире насчитывается от 10 до 20 специалистов по теории, созданной Мотидзуки<ref name="NewScientist2017">{{cite web|author=Timothy Revell|title=Baffling ABC maths proof now has impenetrable 300-page ‘summary’|url=https://www.newscientist.com/article/2146647-baffling-abc-maths-proof-now-has-impenetrable-300-page-summary/|date=2017-09-07|work=[[New Scientist]]|accessdate=2017-12-08}}</ref>.
 
Таким образом, доказательство Синъити Мотидзуки общедоступно, не опровергнуто, но пока и не считается{{кем}} проверенным. Длительное пребывание доказательства в этом неопределённом статусе необычно для [[Математическое доказательство|математических доказательств]]<ref name="NewScientist2017" /><ref>{{cite web|author=Caroline Chen|title=The Paradox of the Proof|url=http://projectwordsworth.com/the-paradox-of-the-proof/|date=2013-05-04|accessdate=2016-09-06}} Перевод: {{cite web|url=https://habrahabr.ru/post/183374/|title=Парадокс доказательства|author=Даниил Басманов|date=2013-06-17|accessdate=2016-09-06}}</ref> (в отличие от случаев, когда в доказательствах, которые считались проверенными и верными, обнаруживались ошибки).
 
В 2018 году [[Шольце, Петер|Петер Шольце]] и Якоб Стикс — специалисты в областях, связанных с {{mvar|abc}}-гипотезой и работами Мотидзуки, — объявили, что в ключевом для доказательства {{mvar|abc}}-гипотезы месте теории Мотидзуки (которое давно вызывало особые трудности у математиков, пытавшихся разобраться в теории) имеется непоправимая ошибка<ref>{{cite news|last=Klarreich|first=Erica|title=Titans of Mathematics Clash Over Epic Proof of ABC Conjecture|url=https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/|accessdate=2018-09-21|work=Quanta|date=2018-09-20}} Перевод: [https://habr.com/post/426033/ Титаны от математики схлестнулись над эпичным доказательством abc-гипотезы]</ref><ref name="Roberts2019" />. Мотидзуки ответил, что Стикс и Шольце неправильно интерпретировали некоторые ключевые аспекты его доказательства и поэтому сделали недопустимые упрощения<ref>{{ cite web | url= http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf | title= Report on Discussions, Held during the Period March 15 – 20, 2018, Concerning Inter-Universal Teichmüller Theory |first= Shinichi |last= Mochizuki | accessdate=2019-01-18 }}<br>
{{ cite web | url= http://www.kurims.kyoto-u.ac.jp/~motizuki/Cmt2018-05.pdf | title= Comments on the manuscript by Scholze-Stix concerning Inter-Universal Teichmüller Theory |first= Shinichi |last= Mochizuki | accessdate=2019-01-18 }}<br>
{{ cite web | url= http://www.kurims.kyoto-u.ac.jp/~motizuki/Cmt2018-08.pdf | title= Comments on the manuscript (2018-08 version) by Scholze-Stix concerning Inter-Universal Teichmüller Theory