Autonomous LLM-assisted harness for cross-search over modern axiomatic seeds. Companion preprint registered conjectural observation on the cardinality envelope of the condensed classifying anima of spectral infinity-topoi. Mirror of gitlab.loneorc.com/research/axiom-explorer.
open-science methodology zenodo preprint ai-research philosophy-of-mathematics condensed-mathematics mathematical-discovery llm-assisted-research automated-conjecture
-
Updated
May 16, 2026 - Python