数学の難問「ABC予想」を証明したとする日本の数学者の理論について、数学者の間で意見が分かれていることから、各国の数学者でつくる国際研究プロジェクトは、コンピューターのプログラミング言語を使った新たな手法で検証を進めていることを明らかにしました。
NHKニュース