Two team independent teams of mathematicians, one lead by Mochizuki , are using Lean to try to verify Mochizuki's claimed proof of the ABC-conjecture. 🧵
#mathematics #math #NumberTheory #abcconjecture
Source:https://buff.ly/XTpyXWb
0
0
1
0