Inter-universal geometry とABC 予想57 より
https://rio2016.5ch.net/test/read.cgi/math/1723187304/189
189１３２人目の素数さん
2024/11/08(金) ID:Yorqrcg8
数学界の現状認識というと、大御所Granville教授によるBull. AMSの記事（2024年2月）が
参考になります（詳しく読めば分かりますが、やや卑怯な言い方をしていると思います）
doi:10.1090/bull/1826　p321脚注
>In [8] we discuss some famous mistakes in world-leading mathematical research
>that were accepted by the community for a while, including works of Voevodsky,
>Biss, Mochizuki, and, to a lesser extent, Wiles; and how to understand this
>acceptance in terms of what the accepted standards of proof are.
(引用終り)

これですか
”卑怯な言い方”もなにも・・・
そもそも、もMochizuki を評する論文ではないし（表題”Proof in the time of machines”だし）
Mochizuki 評は、下記の参考文献[8] では？
”[8] Andrew Granville, Accepted proofs: Objective truth, or culturally robust?, Annals of Math.
and Philosophy 2 (2023), 66 pgs.”

(参考)
https://www.ams.org/journals/bull/2024-61-02/
Proof in the time of machines
Andrew Granville;
Bull. Amer. Math. Soc. 61 (2024), 317-329
DOI: https://doi.org/10.1090/bull/1826
Published electronically: February 15, 2024
HTML | PDF https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01826-6/S0273-0979-2024-01826-6.pdf
Abstract.
We are concerned here with the nature of proof and what proof will
become in this age of machines. We do so by comparing the values associated
with (traditional) community based proof verification to those associated with
computer proof verification. We finish by proposing ways that computer proofs
might incorporate successful strategies from human experiences.