宫崎证明ABC猜想中的漏洞被Lean证实

Lean Prover证实了Mochizuki在ABC猜想证明中的漏洞，这一数学难题的证明因此受到质疑。

Tech 0 Administrator