MathKernel: LLM의 수학 오류를 막는 증거 기반 다중 엔진 커널

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

LLM은 수학적 의도는 잘 파악하지만 정확한 계산에는 취약합니다. MathKernel은 이러한 문제를 해결하기 위해, LLM은 해석과 계획을, 커널은 계산과 증거 기록을 담당하는 역할 분담을 제안합니다. Python 라이브러리 및 MCP 서버로 제공되며, 기호 연산, 정확한 그래프 알고리즘, 인증된 수치 계산, 형식 증명 등 다양한 엔진을 통합합니다. 각 결과에는 신뢰 수준, 엔진 태그, 유도 과정이 명시되어, 근사 입력의 오류가 조용히 사라지지 않도록 합니다.