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 th

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.