Has anyone tried throwing a math-specialized LLM at this? I’m only half joking.