OpenAI 下一代模型家族 Astra 的内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，包括计算永久式的新电路下界。OpenAI 认为这将是科学推理领域的一大步。