Ученые Массачусетского технологического института (MIT) представили новый инструмент под названием SymGen, который значительно упрощает проверку ответов больших языковых моделей (LLM). Несмотря на их возможности, эти модели иногда генерируют неверную или неподтвержденную информацию, что создает необходимость в верификации их ответов, особенно в критически важных областях, таких как здравоохранение и финансы.