> At CERN, a variety of data is already available
This proposal was more CERN-focussed than I had imagined. That said, my search came up negative on each of 'math', 'formula' and 'equation'.
Was this a strategic omission to make the project more tractable? I would not be surprised had the proposal been directed to a non-science community, but at CERN?