A beginning for mathematics
Автор утверждает, что ИИ уже способен решать сложные математические задачи на уровне золотой медали IMO и начинает автономно решать открытые проблемы, что требует переосмысления роли человека в математике. Он отвергает как пессимистичный сценарий, при котором развитие ИИ приводит к застою человеческого понимания из-за институциональной инерции, так и наивный оптимизм, сводящий математику к автоматизированному доказательству теорем. Вместо этого предлагает позитивное видение: даже если производство математических текстов станет менее зависимым от человеческого понимания, мы можем и должны углубить само понимание математики как дисциплины и практики.
Цель математики, по мнению автора, не сводится к доказательству теорем — это слишком формализуемо и лишено смысла без понимания. Настоящая математика направлена на производство высококачественной математики и воспитание высококачественных математиков, включая образование широкой публики. Теоремы и открытые проблемы — лишь инструменты; их ценность определяется тем, насколько они углубляют наше понимание математических структур, а не сами по себе. Автор подчеркивает, что ИИ может взять на себя рутинное производство текстов, но только человек способен осмыслить, оценить и передать математическое понимание — и именно это должно стать центральным в будущей математической культуре.