主推认为解决Erdős问题的模型可能是Astra，而非GPT-6
这几乎可以肯定就是解决Erdős问题的那个模型，也就是OpenAI在《长视野模型时代的安全与对齐》中写到的那个。我曾以为他们会给它命名为GPT-6，但名字其实无所谓。Astra这个名字也很好。
🚨 OpenAI正准备发布一个新模型系列，暂定名为“Astra”。OAI强调了其让多个智能体在长时间内协同解决特别困难问题的能力。Astra是OpenAI的新一类模型，与Sol、Terra和Luna并列。感谢 https://t.co/kB965EFKwQ