[isomorphic_duck]

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.

[vi_sextus_vi]

This crystallised a take.

Unsolved Erdosh problems were touted as a cheap way to generate new perspectives. outcome has been slightly disappointing. overlooked frameworks were all that has been needed so far. not new ones. Could change as LLMs are pointed at other kinds of inexplicables