Это начинает происходить. Инструменты ИИ, такие как Aristotle, которые интегрируют формальную верификацию через @leanprover, значительно снизят барьер для входа в профессию математика. В результате мы увидим огромный рост числа математиков и общего объема создаваемого математического контента.