Три года назад ИИ не мог сложить два числа. Год назад модели Open AI и Deep Mind достигли уровня золотой медали на IMO. Теперь они автономно решают крупные открытые вопросы. Эта тенденция, вероятно, продолжится, требуя радикального переосмысления математики.

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

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

Мы операционализируем цели через доказательство теорем. Но если бы это было целью, автоматизировать было бы тривиально—компьютер мог бы перечислить доказательства ZFC. Цель не в доказательстве теорем; цель в понимании.

Ключевые сущности: Компании: Open AI, Deep Mind