1976年に「コンピューターを使った数学定理の証明」が発表された際に数学者らはどう反応したのか？

※ この記事は外部サイトのコンテンツです。下のボタンから元記事をご覧ください。