Researcher Details Challenges Using AI to Generate FrontierMath Problems · Digg