"our new grad student made progress on the combinatorics problem we posed!"
"oh awesome let's see if he can solve p!=np!"
Yes, too many people here do not understand the distance between the problems the article is discussing (and LLMs have solved) and the big problems in math and CS.
Yes, too many people here do not understand the distance between the problems the article is discussing (and LLMs have solved) and the big problems in math and CS.