Skip to content
#

automated-theorem-generation

Star

Here is 1 public repository matching this topic...

Intrafere / MOTO-Autonomous-ASI

Star 77

MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No internet required. Star us for more!

python mathematics multi-agent autonomous lean theoretical-physics autonomous-agents autonomous-systems ai-research autonomous-agent lean4 ai-inference large-language-models autonomous-ai superintelligence automated-discovery automated-theorem-discovery automated-theorem-generation automated-proof-generation automated-theory-discovery
  • Updated Jul 22, 2026
  • Python

Improve this page

Add a description, image, and links to the automated-theorem-generation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the automated-theorem-generation topic, visit your repo's landing page and select "manage topics."

Learn more