@GaryMarcus

Выпуск

4 твитов

Гэри Маркус посвятил день опровержению распространяемого о нём утверждения и критике вырывания отдельных слов из контекста всей его карьеры. Он подчеркнул, что десятилетиями выступал за сочетание глубокого обучения и LLM с нейросимволическими компонентами. По его мнению, прогресс в математике благодаря harness-системам, верификаторам и Lean подтверждает эту позицию.

Темы: нейросимволический ИИ · LLM · защита репутации · контекст высказываний · математические верификаторы

Ключевые твиты