AWS представила новый нейросимволический подход в своей платформе Kiro для устранения противоречий и двусмысленностей в спецификациях ПО. Система использует большие языковые модели для интерпретации естественного языка, который затем проверяется 50-летним механизмом автоматизированных рассуждений для обеспечения математической достоверности. Эта методология призвана устранять баги на этапе проектирования, прежде чем они превратятся в дорогостоящие ошибки при эксплуатации.