I think it's cool how in a decade we went from

"Neural networks will never be able to understand this sentence that's obvious to humans"

to

"LLMs must be able to solve problems that humanity hasn't been able to after almost a century, and that might even be unsolvable"

So that is kind of the point of studying maths right?

Why something in unsolvable or undecidable can be as important as the output of a theorem.

Questions like these, fields medal level problems or Karp’s 21 NP-complete problem are problems working mathematicians are interested in.

Will LLMs help as an human assistant in the future? Probably.

Will LLMs answer these questions themselves, provide insights and bounds to these new mathematics and teach other mathematicians why this new math they create is true?

Will these models have phds and take candidates teaching them how to apply and think about the maths problems they are interested in?

it can operate at the level of a mere mathematics professor, who everyone knows are barely conscious, basically automatons. wake me up when it's Einstein