Erdős Problem Solver Agent

An AI-powered CLI tool that automatically discovers and attempts to solve open mathematical problems from the Erdős Problems database.

Features

  • 🔍 Scrapes and parses open problems with associated prizes
  • 🤖 Supports multiple LLM providers (OpenAI, Gemini, Anthropic) via anyllm
  • 📝 Generates structured formal proof attempts
  • ♻️ Continuous execution loop across multiple problems
  • ⏱️ Robust error handling with retry logic and configurable timeouts

Tech Stack

Go · anyllm · colly · GitHub Actions