Gary Marcus "새 수학 결과는 뉴로심볼릭인가 순수 LLM인가" — DeepMind 수학 증명 논란 질문

Gary Marcus 가 DeepMind 의 새 수학 증명 결과에 대해 "뉴로심볼릭(Lean 등 활용)인가, 순수 LLM인가"를 묻네요. DeepMind 가 최근 수학 문제에서 LLM 성과를 발표할 때마다 Marcus 가 '진짜 추론인가 패턴 매칭인가'를 지적해온 맥락. 이번 결과가 어느 쪽인지에 따라 논쟁이 재점화될 듯.

• #garymarcus
• #deepmind
• #neurosymbolic
• #llm
• #math

Gary Marcus@GaryMarcus