広中平祐は1970年にはフィールズ賞を受賞しており、はるか昔に証明は多くの人に認められている
それと、日本人は広中が云々、ガウスが云々と昭和以前の例を出したがるが、令和の時代に出すにはあまりに古すぎる