Три результата о разрушении гладкости решений, доказательства с участием языковых моделей и проверка в Lean — так начинается заявление математика Тристана Бакмастера о совместной работе с Левентом Альпёге. Авторы сообщают о продвижении в уравнениях, описывающих движение жидкостей. Причём ключевое достижение скрывается в двух словах: «гладкое воздействие». Но дальше научное сообщение превращается в рассказ о споре с представителями OpenAI, сроках публикации и распределении авторства. Здесь переплелись...