Show HN: Erdös Problem Solver Agent

Category: cli-tool

Tags: cli-tool, llm-integration, mathematics

Score: 5.3/10 (Innovation: 5, Technical: 5, Documentation: 7, Utility: 4)

A Go-based CLI agent that fetches open Erdős problems and uses LLMs to attempt proofs or disproofs. It integrates scraping, secure API key storage, and automated solution generation, offering an interesting blend of mathematical problem-solving and LLM orchestration.

Target audience: mathematicians, researchers, AI enthusiasts

Repository: https://github.com/demirbey05/erdos-problem-solver-cli · Go · 1 stars

View on Hacker News