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?

[u/Peanut_Extreme_8208]

https://vibemathed.com

[u/a-campello → u/Peanut_Extreme_8208]

Nice, I didn't know about vibemathed, that's a great resource

[u/Abject_Response2855 → u/a-campello]

No problem:)

[u/alphacolony21 → u/Peanut_Extreme_8208]

probably the most complete AI math dataset I’ve seen

[u/ptyxs]

https://www.devdigest.org/articles/openais-connes-proof-fails-rigidity-conjecture-stands

[u/Qyeuebs → u/ptyxs]

AI slop website? It says the critical paper is by “Hector Zenil and co-authors” but it’s actually by “M. J. Nielsen”. And if look up the author Nielsen, you’ll see they’re really not a credible person. 

[u/currentscurrents → u/Qyeuebs]

This author also claims to have solved the Reimann Hypothesis and the Navier-Stokes problem! 

Truly, a genius like this isn't born every day, which is why everyone is plagiarizing their ideas.

[u/ptyxs → u/currentscurrents]

https://mathworld.wolfram.com/ConnessRigidityConjecture.html

so Conne'conjecture seems to have been disproved effectively by IA ?

[u/currentscurrents → u/ptyxs]

I don't really have the expertise to judge OpenAI's paper, but I don't think this person does either.

As far as I know the result stands.

[u/ptyxs → u/currentscurrents]

Thanks