Comment by traes

To be clear, Astra played little part in Buckmaster and Alpoge's work:

> We used several LLMs throughout: Anthropic’s Claude, OpenAI’s Codex, especially with GPT-5.6 Sol and, more recently, Astra. The latter was only used for writeups and auditing our arguments.