Skip to content
#

automated-theorem-discovery

Star

Here are 3 public repositories 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

CarlSR9001 / whetstone

Star 0

Promotion gate for AI agents: leakage audits, PASS/HOLD/BLOCK verdicts with exact statistics, and a LIVE public MCP endpoint at whetstone.cyberelf.link/mcp that grades agents on exams they provably never trained on. AGPL-3.0.

mcp verifier data-contamination continual-learning ai-research self-play open-endedness local-llm qlora llm-evaluation neurosymbolic-ai llm-agents small-language-models scalable-oversight mcp-server test-time-compute self-improving-ai reward-hacking agent-harness automated-theorem-discovery
  • Updated Jul 29, 2026
  • Python

Improve this page

Add a description, image, and links to the automated-theorem-discovery 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-discovery topic, visit your repo's landing page and select "manage topics."

Learn more