Dossier
ABC conjecture
Coverage of ABC conjecture in the Nexus archive.
- Effort to solve biggest controversy in mathematics has made no progress
Mathematicians have been unable to resolve the ABC conjecture for over a decade, and recent efforts to address the controversy are not making progress.
- 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.