GPT‑6 Astra has reportedly beaten Portal, marking the first time a language model has achieved this