Peter Scholze Blog, Sep 14, 2019 · The Peter Scholze experience There are lots of rising stars in math. , April 2020]. Lean Community Blog (2022年7月15日). He has been a professor in the University of Bonn since 2012 and co-director at the Max Planck Institute for Mathematics since 2018. Think Grothendieck. ”… As discussed here a couple months ago, Peter Scholze and Jakob Stix believe they have found a serious problem with Mochizuki’s claimed proof of the abc conjecture, and traveled to Kyoto in Ma… Q&A for people studying math at any level and professionals in related fields I propose a formalization challenge. Improve this question edited Jan 29, 2021 at 8:40 asked Jan 26, 2021 at 23:54 Peter Scholze 10 Peter Scholze's works focuses on local aspects of p -adic algebraic geometry. Peter Scholze of the University of Bonn and Jacob Stix of Goethe University, Frankfurt, privately circulated a rebuttal of his abc proof, zeroing in on one specific, crucial passage that they said Explore the transformative impact of computation and AI on mathematics, shaping its future through innovative applications and advancements. AT); Category Theory (math. Taking a look at these two documents and at Mochizuki’s continually updated attempt to refute them, anyone who wants to try and decide for themselves can make up their own minds. Scholze - Disagrees with Mochizuki and believes the proof of abc is wrong. ] Exactly half a year ago I wrote the Liquid Tensor Experiment blog post, challenging the formalization of a difficult foundational theorem from my Analytic G… For background on the problem with the proof, see an earlier blog entry here. 01940 [pdf, ps, other] A few items, all involving Peter Scholze in one way or another: A seminar in Bonn on Scholze’s geometrization of real local Langlands is finishing up next week. 1975– Peter Scholze：你好，我是Peter Scholze。 我在柏林长大，并在那里上了一所学校，这所学校在某种程度上是苏联时代的遗物。 这是一所特别的学校，侧重于数学和自然科学，在其历史上培养了许多非常知名的数学家，其中很多或多或少都是从事代数几何研究的。 Peter Scholze 访谈录：算术几何与合作 视频链接：Hausdorff Center for Mathematics日期：2025 年 10 月 1 日该访谈中，数学家 Peter Scholze 介绍了自己的学术生涯和主要研究兴趣，强调了他对 算术几何的专注和 … Peter Scholze's 66 research works with 2,817 citations and 6,203 reads, including: Purity for flat cohomology Lean has already demonstrated its potential to revolutionize and radically accelerate mathematics, for example, helping Fields Medalist Peter Scholze confirm a new theorem in the Liquid Tensor Experiment. This is a guest post, written by Peter Scholze, explaining a liquid real vector space mathematical formalisation challenge. FM: Bruce E. The 30-year-old math sensation Peter Scholze is now one of the youngest Fields medalists for “the revolution that he launched in arithmetic geometry. Es ist wahrscheinlich nicht möglich, auf wenigen Seiten eine präzise Version oder auch nur einen einigermaßen . Aug 1, 2022 · TO: Peter Scholze, now also associated with Berkeley's Simons Collaboration on Perfection in Algebra, Geometry and Topology (directed by Martin Olsson). The news is just out now, although the rumour had been making its rounds earlier: Peter Scholze is taking up the role of director of the MPIM here in Bonn. University of Bonn (Peter Scholze). She was a star in high school, winning several 2nd-tier prizes in science competition with her brother. For extensive background on this, you could start at this blog posting and work backwards, to the first announcement of a claimed proof back in 2012. Here’s the syllabus: The purpose of this cou… Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. [This is a guest post by Peter Scholze. By 2018 Scholze and Stix had shown that the claimed argument was flawed, and since then the math community has lost interest and moved on. ] The last couple months I’ve 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. For a detailed discussion with Scholze about the problems with the proof, see here. Notes from an informal lecture series I gave at Columbia in Spring 2015, on Scholze's Berkeley course and related material. In his blog, Peter Woit speculates that now Peter Scholze deserves to be awarded the $1,000,000 prize, offered in 2023 by Nobuo Kawakami to anyone who can disprove Shinichi Mochizuki’s proposed proof of the abc conjecture. The blueprint for the project can be found here and the formalization itself is available on GitHub. yiikw, cn87, doje, sa0ri, mdn6n, prsb, zhivs, r2aiw, omfk2, 2ba9r,