Users joke Astra's pace on open math problems is unsustainable

From gpt-5.6 solving one Erdős problem to Astra producing 10 major open-problem results, the author jokes that a few more model generations will exhaust the unsolved math.