This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results
visualization python open-source machine-learning theorem-proving mathematics artificial-intelligence proof-assistant knowledge-graph graph-theory knowledge-base number-theory automated-reasoning claude discovery-engine llm mathematical-proofs claude-code mathematical-engine
-
Updated
Sep 24, 2026 - Python