Как логика может помочь моделям ИИ говорить больше правды, по мнению AWS

Связывание моделей ИИ с формальными методами верификации может исправить недостатки БМО, такие как ложные утверждения. Байрон Кук из Amazon объясняет обещания автоматического рассуждения.