Plenty of 'advances in mathematics' done pre-llm, no?