Specs Should Be Equations, Not Essays
Author: Benoit Pimpaud | Source: From an Engineer’s Sight (Substack) | Published: 2026-02-26
한 줄 요약
AI 코드 생성에서 자연어 명세는 LLM이 해결할 수 없는 모호성을 내포하므로, 수학적 표기법을 일차 명세 언어로 삼아 명시성·조합성·반증 가능성을 확보해야 한다.
핵심 주장/내용
- 자연어는 인간 대화에서는 컨텍스트로 모호성이 해소되지만, LLM은 모호성을 인식하지 못하고 통계적으로 한 해석을 선택
- 수학적 명세는 세 원칙을 강제: 명시성(모든 가정 명시), 조합성(컴포넌트 독립 명세), 반증 가능성(증명/반증 가능한 주장)
- 에이전트에게는 텍스트(의도·맥락) + 다이어그램(관계) + 수학(정밀도)의 삼중 표현이 최적
- Maxwell 방정식처럼 소프트웨어를 기술하는 수학적 기반을 발견하면, 코드는 수학의 “투영”이 될 수 있음
- 명세가 정교해질수록 이해관계자와의 대화로 실제 문제를 포착하는 인간 역량이 더 중요해짐
주요 수치 / 사실
- TicTacToe 게임을 집합론·논리 연산자로 완전히 명세하는 구체적 예시 제시
- SMT 솔버·제약 최적화와 유사한 생성 프로세스 비전 제시
- Yann LeCun: 언어는 “손실 압축(lossy compression)” — 수학은 구조적 무결성을 보존
관련 위키
Source: 원문 보기