これが起こり始めている。 @leanproverによる形式的検証を組み込んだアリストテレスのようなAIツールは、数学者になるための参入障壁を劇的に下げるでしょう。 そうすることで、数学者の数と生成される数学コンテンツの総量が大幅に増加するでしょう。