MathKernel: Một kernel toán học đa động cơ có nhận thức bằng bằng chứng và máy chủ MCP

MathKernel là một môi trường thời gian chạy toán học đa động cơ có nhận thức bằng chứng dành cho LLM, hỗ trợ tính toán chính xác, biểu tượng, định dạng, khoảng tin cậy chứng nhận và số học với MathIR có kiểu, nhãn tin cậy và toàn bộ nguồn gốc — giúp LLM thực hiện các phép tính toán học một cách đáng tin cậy và có thể kiểm chứng.