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