Show HN: Leaps in Bounds – compilation of progress on mathematical unknowns

I am fascinated by the collective process of narrowing bounds on mathematical constants (Ramsey numbers, the Busy Beaver function, etc.). I wanted to create visualizations but couldn't find a convenient source of historical bounds updates across mathematical problems, so I created this repository.

The two main goals for the compiled data are to present them for browsing in a visually informative way, and to provide them for download in various formats (JSON, CSV, etc.).

I'm not a professional mathematician, so I welcome any suggestions on how to make this more useful and intuitive to mathematicians and enthusiasts. Contributions are also welcome via the GitHub Discussions!