Подчеркну: математика не решена

Математика — открытая система, а не закрытый набор задач. Тысячи открытых проблем порождают новые вопросы, а теоремы Гёделя показывают, что процесс расширения оснований бесконечен. ИИ становится инструментом для ускорения новых открытий, но не решает математику окончательно.