Comment by waffletower

I don't see scientists reacting to this with the same affront as Terrance Tao does for frontier LLM mathematical proof dumping. Just imagine the Salk Institute declaring "we are on a war footing" after learning of such LLM aided discoveries.