MathKernel: un kernel matemático para LLMs que distingue entre evidencia exacta, simbólica y formal
MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
MathKernel es una biblioteca Python y servidor MCP que permite a los LLMs realizar matemáticas avanzadas con trazabilidad completa. En lugar de un único solucionador, orquesta múltiples motores (exactos, simbólicos, formales, numéricos certificados) y etiqueta cada resultado con un nivel de confianza, el motor utilizado y una cadena de derivación. Así, una comprobación exacta no se presenta como una prueba formal, y la ascendencia de entrada aproximada nunca desaparece silenciosamente. Incluye desde álgebra simbólica y cálculo hasta teoría de grafos, probabilidad, PDEs y topología algebraica, con verificación mediante certificados y pruebas formales.
El LLM interpreta la intención; MathKernel establece la evidencia matemática.
- nxobject
Como nota al margen, el nombre "MathKernel" está sobrecargado: así se llama el ejecutable del kernel de Mathematica, lo cual es un poco desafortunado cuando ya tienes herramientas que se refieren a él.
- overfitCNN
Estoy construyendo un proyecto en esta área llamado Alkahest: https://github.com/alkahest-cas/alkahest. Es un sistema de álgebra computacional escrito en Rust que emite certificados Lean correspondientes para muchas de sus operaciones que pueden verificarse formalmente.
Alkahest está disponible como biblioteca de Python o crate de Rust. Está diseñado para uso con agentes y tiene una buena salida de depuración.
Estoy iterando rápidamente sobre él; no dudes en enviarme cualquier problema, comentario o idea.
- xvilka
Podrías añadir soporte también para Woxi[1][2] en la mayor parte de las matemáticas simbólicas; además, debería ser mucho más rápido que un montón de pegamento sobre diferentes bibliotecas de Python.