added export filtered to json/csv

[qrdlgit]

https://qrdlgit.github.io/erdosproblems/index.html?status=open&prize=yes
https://github.com/qrdlgit/erdosproblems/tree/main

The goal is to use this with openai agent builder which has this: https://platform.openai.com/docs/guides/agent-builder

I've used this UI successfully to do things like iterate chat exhaustively on discrete data inputs. In the past I've coded up complex agentic flows via API, but have found this to be more potent and accessible. Using transform, you can directly access json elements. eg: state.problems[state.counter].number I persist results using a custom mcp point, but there are other options provided by the builder.

Some use cases:

1. Literature search: People have done this already, but with the agent builder above they can fine tune their prompts and customize how it is performed, and they can re-iterate over sets as they see fit.
2. Generate a rubric / consistent analysis for listed problems
3. Perform an ELO style analysis along some dimension(s)
4. When new advancements in erdos related math are made or discovered, perhaps iterate through all of them to see their relevance
5. Many use cases with comments, imagination is the limit
6. OEIS integration.
   ..

Is there an equivalent yaml / API for the erdosproblem formulations or should I scrape from the tfbloom website?

[Jayyhk]

Metadata for each problem is available at data/problems.yaml but the formulations of the problems themselves are on the website.