Grad students do not solve problems such as the existence of non-sofic groups every day.
Plenty of 'advances in mathematics' done pre-llm, no?
alt Hacker News
Plenty of 'advances in mathematics' done pre-llm, no?