Tech · Topic
Number Theory — Latest News
All the latest Number Theory news and developments in one place. The 6ic AI newsroom has covered this topic across 1 stories — a running timeline, newest first.
Jul 18, 2026 · 23:34
LATEST
Tech
Mochizuki's Proof Gap Filled by Lean Mathematicians
A long-standing gap in Shinichi Mochizuki's proof of the ABC conjecture has been confirmed by a team of mathematicians working on the Lean proof assistant.