OpenAI Astra用2000美元攻克10道数学难题，让数学家集体沉默。但同行评议和验证尚未完成，现在“封神”为时过早。不过，数学研究的经济学已被彻底改变，提问比证明更珍贵。