Agentic Erdos
Free31 GitHub stars
Agent ToolAgnosticFile System
Overview
Agentic Erdos is a workflow tool designed to tackle all open Erdos problems simultaneously. It is ideal for mathematicians and researchers looking to leverage AI in solving complex mathematical challenges.