OpenAI представила модель Astra: 10 математических достижений без бенчмарков
OpenAI представила модель Astra, продемонстрировав её способности через решение 10 сложных математических и теоретических задач. Вместо стандартных бенчмарков компания использовала Lean-доказательства, которые позволяют любому человеку самостоятельно проверить результаты. Это стало ответом на критику прошлых заявлений OpenAI о достижениях ИИ в математике.