Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Technology › Gap in Mochizuki's proof of ABC confirmed by Lean
Technology

Gap in Mochizuki's proof of ABC confirmed by Lean

Hacker News Saturday 18 July 2026, 22:19 UTC By ogogmad 1 min read
Key Points

In today's press conference, we explained our efforts over the last two years which resulted in the following conclusion: The way the argument from Theorem 3.11 to Corollary 3.12 is written in the IUT papers is unformalizable. But since Mochizuki's explanation of this point has recently started evolving, we reserve final judgement at this time. Among the key achievements LANA demonstrated at this press conference was that we provide a manageable-length analysis of the critical argument in...

In today's press conference, we explained our efforts over the last two years which resulted in the following conclusion: The way the argument from Theorem 3.11 to Corollary 3.12 is written in the IUT papers is unformalizable. But since Mochizuki's explanation of this point has recently started evolving, we reserve final judgement at this time. Among the key achievements LANA demonstrated at this press conference was that we provide a manageable-length analysis of the critical argument in the IUT theory for the general mathematical public, written by outsiders. This document also includes a comparison with the 2018 Scholze-Stix report. YouTube video: youtube.com/live/KADN5NHmI… LANA report: github.com/katobungen/LAN…
Mochizuki (PERSON) ABC (ORG) IUT (ORG) LANA (PERSON) Scholze-Stix (ORG)
Originally published by Hacker News Read original →

Related Stories

Singapore Weighs Hedge Fund Tax Cuts to Be More Competitive: FT

Singapore Weighs Hedge Fund Tax Cuts to Be More Competitive: FT The Monetary Authority of Singapore has held talks with investment firms on reducing taxes for fund managers in a bid to maintain the island’s competitiveness and retain talent, the Financial Times reported. Fund executives have told the regulator that planned changes in Hong Kong’s tax laws are likely to lead with a push for relocations to that city, the paper said, citing unidentified people familiar with the discussions. The...

Bloomberg Technology 1h ago

Chinese President Xi Jinping's message to American technology companies on AI

Chinese President Xi Jinping used China’s biggest tech stage to draw a sharp line between how Beijing and Washington think about artificial intelligence—and the difference comes down to one word: openness. Speaking at the opening of the World Artificial Intelligence Conference in Shanghai on Friday, Xi urged countries to grab the “historic opportunity” of open-source AI and warned against letting a single nation dominate the technology. He never named the United States.

Times of India 1h ago

Why Bek Condello left a doomsday church at 27

Bek left a doomsday church at 27. Here's what her life looks like now Sun 19 Jul 2026 at 1:03pm In short: Bek Condello grew up in a strict Pentecostal doomsday church that some former members have described as a cult. She says she has not spoken to her family inside the church since she decided to leave more than a decade ago.

ABC Australia 2h ago

LLM-Integrated Multivariable Calculus Course

Academa Multivariable Calculus 🇺🇸 English Vectors and the Geometry of the Space 25:29 Lecture 1 Vectors 33:47 Lecture 2 Dot Product 26:17 Lecture 3 Vector Projections and Determinants 20:07 Lecture 4 Cross Product 37:06 Lecture 5 Planes and Lines 30:02 Lecture 6 Planes and Lines (cont.) Vector Functions 28:26 Lecture 7 Parametric Curves 28:39 Lecture 8 Parametric Curves (cont.) Partial Derivatives 40:22 Lecture 9 Partial Derivatives 29:10 Lecture 10 Partial Derivatives (cont.)

Hacker News 2h ago