12 ноября 2015 · КомментарийБез заголовкаИмя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на записьЭто обратная задача, для которой нельзя создать машинную метрику качества. Т.е. вот генерируется по выбранной аксиоматике бесконечное множество теорий - какие из них полезны и являются свидетельством хорошей стратегии генерации?