FrontierMath Erdős: GPT-6 Astra posts the first nonzero score
On Epoch AI’s FrontierMath Erdős set (68 open Erdős problems), pre-release GPT-6 Astra was the only one of five models with a nonzero score (~3% = 2 problems) in the standard ~$300-budget run: it disproved #74 and proved #126. Looser extra runs do not count toward the official score.