Skip to content
The Nexus
DossierENTITY

Mochizuki

Coverage of Mochizuki in the Nexus archive.

Earliest in view: Jul 18 · 22:19 UTCMost recent: Jul 18 · 22:19 UTC
Co-mentioned in this coverage
ABC conjecturetopic1LEANorganization1
Recent coverage
  • SCIENCEJul 18 · 22:19 UTCHACKER NEWS
    Gap in Mochizuki's proof of ABC confirmed by Lean

    A gap in Mochizuki's proof of the ABC conjecture has been confirmed by the Lean theorem prover, according to a news article. The confirmation was reported via a Twitter post and Hacker News discussion.

Mochizuki · Dossier · The Nexus