Александр Владимирович Худяков

30 октября 2026. _{Мы попытаемся транслировать доклад в зум, тыкайте сюда, но лучше приходите в 12-05.}

Роботы (точнее, закрытая модель компании OpenAI) доказали гипотезу Кервера-Лауденбаха: Если к нетривиальной группе, заданной порождающими и соотношениями, добавить один порождающий и одно соотношение, она останется нетривиальной. (и почти дословно так же доказали более сильную гипотезу Хауи о том, что невырожденная система уравнений с коэффициентами в любой группе разрешима в некоторой содержащей её группе). Мы изложим это доказательство — оно использует только несложный функциональный анализ и несложную топологию.