Notas independientes de investigación
Loneorc Research es el espacio personal de Francisco Javier Vera Gómez para publicar ensayos técnicos, notas divulgativas y materiales vinculados a preprints.
Complejidad computacional — SAT y P frente a NP
SAT, complejidad de pruebas y fronteras concretas alrededor de P frente a NP. Resultados acotados, artefactos reproducibles y no sobre-reclamos.
El resultado no prueba P != NP. Construye una familia SAT explícita, la identifica exactamente como Tseitin de grado acotado y deja clara la frontera donde la técnica deja de dar tamaño para resolución general.
axiom-explorer — descubrimiento matemático asistido por LLM
Workflow LLM-asistido de búsqueda cruzada sobre semillas axiomáticas modernas. Las afirmaciones son conjeturas falsables, no teoremas.
Un segundo preprint, esta vez la salida real del caso de estudio. Registra una cota cardinal falsable para un invariante reciente (el grupo fundamental condensed de un esquema de Haine et al.), muestra que la misma forma aparece en otras dos ramas de las matemáticas, e invita a especialistas a confirmarla como folklore, refutarla o refinarla. Acceso abierto, DOI 10.5281/zenodo.20184660.
axiom-explorer es un workflow, no un oráculo. Selecciona cuatro axiomas modernos de ramas distintas de las matemáticas, ejecuta una búsqueda cruzada controlada, construye dossieres y surfacea candidatos falsables. El papel del modelo de lenguaje está acotado. El autor humano conserva cada decisión de publicación. El primer paper está en Zenodo con un DOI.
V.E.R.A. — cosmología teórica
Cosmología teórica especulativa: hipótesis, banco de pruebas reducidos y bloqueos abiertos. No es una teoría cerrada del universo observado.
Una introducción narrativa a V.E.R.A., la hipótesis de segregación materia-antimateria entre branas recíprocas.