Minotaur доказывает теоремы и ставит диагнозы без языковой модели и GPU
Achieving AI-style reasoning without an LLM
Minotaur — архитектура на базе ELC, которая рассуждает, измеряя, а не предсказывая. Она выполняет дедукцию, индукцию, абдукцию, диагностику, выбор решающего эксперимента и пересмотр убеждений одной операцией на одной сети, на одном обычном ядре процессора, примерно за четверть секунды на вопрос. На слепых тестах, написанных людьми, не видевшими кода, Minotaur сравнялся с современной языковой моделью — в том числе на допросе, где вопросы меняют память свидетеля.
Языковые модели победили, потому что это единственный подход, которому ничего не нужно передавать: вы не пишете для неё модель своей задачи, вы описываете задачу простыми словами, и она их читает.
- jstanley
Не вижу, где это можно попробовать, так что пока это куча заявлений и никаких реальных доказательств. К тому же текст будто написан LLM.
Если модель действительно настолько маленькая, почему бы не сделать веб-интерфейс, где мы могли бы проверить её сами?
Всё это сильно отдаёт шарлатанством.
- iterance
Связанная статья (скажу великодушно) не отличается откровенностью: https://zenodo.org/records/23526702
Я также не могу найти рабочую модель. Полагаю, пока это можно проигнорировать.
- kangalioo
Никогда такого не видел:
"Insufficient Storage
The method could not be performed on the resource because the server is unable to store the representation needed to successfully complete the request. There is insufficient free space left in your storage allocation.
Additionally, a 507 Insufficient Storage error was encountered while trying to use an ErrorDocument to handle the request."
- vintagedave
> Большая языковая модель обучается предсказывать следующее слово в тексте. … просто попросив модель «думать шаг за шагом», можно улучшить её ответы.
Я думал, что оба эти утверждения уже не считаются в целом верными? По крайней мере, для больших лабораторных или передовых моделей.
- glimshe
Когда я прочитал заголовок, то подумал, что это шутка и в статье будет просто написано: «Думай сам».
Хотя это, возможно, куда лучше рассуждений в стиле ИИ.