Archerkattri/mathlas

- Matemáticas herméticas para agentes: búsqueda de teoremas de 3,7 millones, ID constante de PSLQ, OEIS, verificaciones reales del kernel Lean, listas de verificación de aplicabilidad. No hay LLM adentro, no hay clave API.

@falken-oficial30/7/2026

#data-science-tools

Inicia sesión para reportar contenido.