Ну можно сейчас поиграться с языками с refinement типами + smt солверами.
Я понимаю, что это пример чуть в сторону, но всё равно не сказать, чтобы прям кардинально процесс упрощался, когда дело доходит до сложных утверждений.
AI programming будет работать
вообще не так. 😃
На серьёзной ноте: с его помощью будут решаться сильно более высокоуровневые и типовые задачи. Разработка всяких костомных бизнес-приложений-интеграций типа того что сейчас делается на платформах а-ля Salesforce, SharePoint Bitrix, и т.п. Никакой разработки ОС и компиляторов, ничего такого. Ну, со временем разработка Веб-приложуль ещё подтянется, тоже без rocket science.
На более весёлой ноте, уже несколько лет как видел какой-то прототип от MIT (помнится, не могу нагуглить), который по незатейливому описанию на естественном языке генерировал каркас (текстовой) игры на Python. С более-менее вменяемой разбивкой по классам и фалам. все дела.
Похожего смог найти только вот такую феерию:
https://gc.ece.vt.edu/ 😂