unify general relativity with quantum mechanics. The continuum hypothesis. The traveling salesman problem in polynomial time.

redox99 9 days ago | parent | next [-]

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"

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

	▲	dehsge 9 days ago \| parent \| next [-]
		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?
	▲	roywiggins 9 days ago \| parent \| prev [-]
		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

The continuum hypothesis was proven independent of ZFC over sixty years ago, I think even GPT2 could have told you that much.