И всё таки она летает — часть 2

Один добрый человек на Хабре сообщил, что сеть Aristotle, для доказательства теорем и строгого решения задач, доступна бесплатно. Как раз сейчас есть такая задача, которую нужно проверить, подтвердить или опровергнуть - расчеты по конструкции летающей тарелки, из моей предыдущей статьи, проведенные с помощью обычной, теперь уже, LLM и калькулятора.

Подготовку задания делал с помощью Grok, потому что он, по заверениям Маска, заточен на решение сложных задач (а тут есть формулы), и кроме того, хорошо знаком с сетью Aristotle, а если что, может быстро посмотреть в интернете.

Первым делом попросил Grok изучить мою предыдущую статью и сформировать о ней мнение, что называется, сделать ревью. Grok прочитал статью на сайте и обрисовал ясную картину: понял главную задачу, конструкцию и принципы действия.

Читать далее