OpenAI
OpenAI назвала свою следующую семейство моделей и опубликовала десять решённых задач. Ничего пока не выпущено.
Внутренняя версия под названием Astra вывела доказательства для десяти давно открытых задач в математике и теоретической информатике, каждое из них формализовано в Lean. Модель не выпущена, а название носит предварительный характер.
3 ч назад
