OpenAI 用 Astra 模型攻克 10 道数学难题，数学家既兴奋又担忧

OpenAI showed that AI can tackle long-standing problems in mathematics. Experts are excited about the possibilities — and worried about what comes next for their field.