Последние разработки в области искусственного интеллекта кардинально изменили математику, научившись генерировать и формализовать сложные доказательства без участия человека. ИИ теперь способен создавать глубокие теоремы, которые ранее считались невозможными для формализации в столь короткие сроки.