И всё-таки она летает — часть 2 Один добрый человек на Хабре сообщил, что сеть Aristotle, для доказательства …
И всё-таки она летает — часть 2 Один добрый человек на Хабре сообщил, что сеть Aristotle, для доказательства теорем и строгого решения задач, доступна бесплатно. Как раз сейчас есть такая задача, которую нужно проверить, подтвердить или опровергнуть - расчеты по конструкции летающей тарелки, из моей предыдущей статьи, проведенные с помощью обычной, теперь уже, LLM и калькулятора.Подготовку задания делал с помощью Grok, потому чт... https://clck.ru/3RKgwZ
Автор: Habr все новости об IT