HN Showcase
Back to browse
GitHub Repository

CLI for quickly solving Erdös Problems

1 starsGo

Erdös Problem Solver Agent

by demirbey05·Apr 27, 2026·3 points·1 comment
Visit ProjectView on HN

AI Analysis

●MidNiche GemShip It

LLM wrapper for math proofs when models still hallucinate on basic arithmetic.

Strengths
  • •Secure keychain storage for API credentials instead of plaintext config files.
  • •Continuous solve loop handles multiple problems without restarting the CLI.
  • •Supports multiple LLM providers via any-llm library including local Ollama.
Weaknesses
  • •LLMs fundamentally struggle with mathematical proofs — high hallucination risk.
  • •Zero stars, author admits immature — no evidence of actual working solutions.
Category
AI/ML
Target Audience

Mathematics researchers, AI enthusiasts

Similar To

Lean · Coq · Wolfram Alpha

Post Description

I developed small cli agent for solving erdös problems. It's still immature but planning to add tools but before going into project I just wanted to measure impact by putting it HN. Open to feedback and suggestions.

Similar Projects