Should I read this as the big labs trying to move maths forward? Or the big labs trying to use professional mathematitians as (cheap?) Labour for validating LLM outputs? On yesterdays "An Alien Mind" post from openAI they openly said that maths is not a priority for them, so I personally know what to think...

Probably many mathematicians want answers to the questions from the page:

> This AI advancement raises the following questions: (a) How much can AI speed up the process from ideation to peer-reviewed publication? (b) What is the role of a mathematician when AI can solve conjectures faster?

and the big AI companies agreed to sponsor them to find out because it is good publicity for the companies.

Yeah it's a bit of a tricky situation. It's almost like a bribe in a sense.

[dead]