«Что правильно?» И является ли этот вопрос вообще актуальным? — Кристофер Нойгебауэр — 2026

https://pretalx.northbaypython.org/nb... Впервые в истории информатики практикующие специалисты в области разработки программного обеспечения, похоже, всерьез пытаются использовать инструменты автоматической генерации кода для создания целых программ. В отрасли пока не пришли к единому мнению, что это полная катастрофа. С другой стороны, мы уже довольно давно знаем, что существует ряд вещей, которые компьютеры не могут сделать: не просто сложные для решения задачи, а фактически невозможные. Один из особенно ярких примеров — просьба к компьютерной программе выяснить, что делает (возможно, другая) компьютерная программа. Это поднимает ряд интересных вопросов о самом факте обращения к компьютерам с просьбой написать за нас код, и о нашей роли как инженеров-программистов сейчас и в недалеком будущем. Мы сосредоточимся на определении проблемы и проверке того, соответствует ли наше решение этой проблемы данной спецификации. Как мы определяем, является ли что-то «правильным»? Какую задачу мы можем поручить компьютеру? Остаётся ли место для того, чтобы не делать всё полностью автоматически? В этом докладе объединены наблюдения из фундаментальной информатики, из появления автоматизированного тестирования программного обеспечения и некоторые недавние наблюдения о производительности LLM-систем последнего поколения, работающих автономно. Мы поднимем несколько вопросов. Возможно, ответим на 1-2 из них.