It remains to be seen if LLMs would do any good in the "theory-building" heavy fields of math. They have certainly proven themselves in branches of math where t

It remains to be seen if LLMs would do any good in the "theory-building" heavy fields of math. They have certainly proven themselves in branches of math where the progress is verifiable, but fields like AG commonly have papers that do not concretely solve a problem but provide a new perspective/framework. This is iterated upon if other mathematicians find the construction rich and interesting enough, which eventually leads to breakthroughs. LLMs have yet to show that they can meaningfully make such helpful abstractions. Not saying that it can't be done, but I wouldn't write such doomer posts just as yet.