ThinkingNews

Back to feed
Hacker News July 18, 2026

Gap in Mochizuki's proof of ABC confirmed by Lean