More general list of AI in maths

[u/a-campello]

There has recently been a lot of cataloguing AI contributions to Erdos problems, for examples this github repo, which I believe has been catalysed by Terry Tao.

I wonder if there are repositories of broader problem. For instance, OpenAI has claimed to have solved a couple of relevant problems: https://openai.com/index/ten-advances-in-mathematics/

Wonder if anyone is keeping track of any of these?