Миллион строк от ИИ: Paul Dix о верификации и доводке до прода

ИИ сначала сгенерировал около миллиона строк кода, а за пару месяцев довёл результат до надёжного софта — сейчас он работает на миллионах машин разработчиков. Paul Dix отвечает скептикам из «The end of programming»: дело не в том, был ли «оракул» для сверки, а в связке верификации и направления для агента.

Критики сводят кейс к механическому переносу с одного языка на другой — мол, эталонная реализация всё упростила. Dix считает, что это недооценивает масштаб: при правильной схеме проверки модель может собирать сложное ПО и итеративно улучшать его, пока оно не начинает стабильно работать.

Источник: Quoting Paul Dix.