MathKernel: математическое ядро для LLM, которое доказывает, а не просто вычисляет
MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
MathKernel — это библиотека Python и MCP-сервер, которые берут на себя вычисления для LLM, возвращая результаты с указанием уровня доверия, движка и полной цепочки вывода. Вместо одного решателя он использует несколько движков: символьный (SymPy), точный, формальный (Lean), сертифицированные интервалы (mpmath) и численный. Каждый результат помечен как SYMBOLIC, EXACT, CERTIFIED NUMERIC или EMPIRICAL, а приблизительные входные данные не могут «тихо» превратиться в точный ответ. Проект охватывает обширную предметную область: от алгебры и графов до дифференциальной геометрии и PDE, с проверяемыми сертификатами и явным разделением доказанного и эмпирического.
LLM хороши в математическом намерении и плохи в математической арифметике. MathKernel меняет разделение труда: модель разбирает, планирует и интерпретирует; ядро вычисляет и записывает доказательства, специфичные для утверждения.