Один добрый человек на Хабре сообщил, что сеть Aristotle, для доказательства теорем и строгого решения задач, доступна бесплатно. Как раз сейчас есть такая задача, которую нужно проверить, подтвердить или опровергнуть - расчеты по конструкции летающей тарелки, из моей предыдущей статьи, проведенные с помощью обычной, теперь уже, LLM и калькулятора.Подготовку задания делал с помощью Grok 4.1 Thinking
продолжить чтение
Представим вариант конструкции летающей тарелки, основанный на логическом переосмыслении некоторых фактов и гипотез. В качестве прототипа используем одну из фотографий летающей тарелки предположительно созданной в Германии в 40-х годах. Рассмотрим теоретические и технические принципы, на основе которых могло бы летать такое устройство. Сделаем популярное техническое описание и прикидочные расчеты. Предварительно сделаем небольшое исследование исторических попыток создания летающих тарелок.
продолжить чтение
