ИИ используется для быстрого доказательства новых результатов. Математики считают, что это только начало.