OpenAI представила модель Astra с десятью новыми математическими достижениями, включая опровержение гипотезы и создание контрпримера.
