katobungen/LANA_report_202607

In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2026-07-17 · latest 2026-09-10

Mentions per year 4 mentions · busiest year 2026 (4)

20082026

All Stories Comments Newest Top Oldest

…the abc conjecture, an important unsolved problem in Diophantine analysis. People did attempt this: https://github.com/katobungen/LANA_report_202607/blob/pdf/LA... See also https://www.math.columbia.edu/~woit/wordpress/?p=15770 Here are…
comment by aleph_minus_one · 2026-09-10 · in OpenAI’s Navier-Stokes release included a Lean 4 formal proof
…proof in Lean under the name of "LANA" (e.g. see https://zen.ac.jp/news/zmcpostevent0717e and https://github.com/katobungen/LANA_report_202607/blob/pdf/LA... for a recent update). I guess most mathematicians agree that a successful compile…
comment by steinwinde · 2026-08-12 · in What sort of maths are LLMs good at?
…produced by a 500 pages "proof" that no one can actually understands. Additional information: https://github.com/katobungen/LANA_report_202607 Mochizuki himself has also started a "skeleton" formalization attempt of his theory:…
comment by ur-whale · 2026-08-07 · in Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean
Here's the report: https://github.com/katobungen/LANA_report_202607/blob/pdf/LA...
comment by amichail · 2026-07-17 · in Update: Mochizuki's ABC Conjecture proof is unformalizable