MathKernel: LLM의 수학 오류를 막는 증거 기반 다중 엔진 커널
MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
LLM은 수학적 의도는 잘 파악하지만 정확한 계산에는 취약합니다. MathKernel은 이러한 문제를 해결하기 위해, LLM은 해석과 계획을, 커널은 계산과 증거 기록을 담당하는 역할 분담을 제안합니다. Python 라이브러리 및 MCP 서버로 제공되며, 기호 연산, 정확한 그래프 알고리즘, 인증된 수치 계산, 형식 증명 등 다양한 엔진을 통합합니다. 각 결과에는 신뢰 수준, 엔진 태그, 유도 과정이 명시되어, 근사 입력의 오류가 조용히 사라지지 않도록 합니다.
LLM은 수학적 의도를 해석하고, MathKernel은 수학적 증거를 확립한다.
- nxobject
참고로, "MathKernel"이라는 이름은 이미 다른 곳에서 쓰이고 있습니다. Mathematica의 커널 실행 파일 이름이기도 한데, 이미 그 이름을 가리키는 도구가 있는 상황에서는 좀 아쉽네요.
- overfitCNN
저는 이 분야에서 Alkahest라는 프로젝트를 만들고 있습니다: https://github.com/alkahest-cas/alkahest. Rust로 작성된 컴퓨터 대수 시스템으로, 많은 연산에 대해 공식적으로 검증할 수 있는 대응하는 Lean 증명서를 생성합니다. Alkahest는 Python 라이브러리 또는 Rust 크레이트로 제공되며, 에이전트 사용에 적합하도록 좋은 디버깅 출력을 제공합니다. 빠르게 반복 개발 중이니, 문제점이나 의견, 아이디어가 있으면 언제든 보내주세요.
- xvilka
대부분의 기호 수학에 Woxi[1][2] 지원을 추가할 수도 있습니다. 다양한 Python 라이브러리를 접착제처럼 붙이는 것보다 훨씬 빠를 것입니다. [1] https://woxi.ad-si.com/ [2] https://github.com/ad-si/Woxi