Another FrontierMath problem reportedly solved in an interactive GPT-6 Astra session · Digg