авг. 2026 · OpenAI Astra
Десять результатов на открытых задачах
Внутренняя версия Astra во время разработки получила десять новых результатов в математике, квантовой сложности и теоретической информатике. OpenAI выпустила 249-страничный сборник и Lean-сертификаты.
Официальная публикация подтверждает сам выпуск результатов, но их новизна, формализация условий и значимость ещё требуют независимой оценки математического сообщества. В счётчике это один кластер, не десять отдельных событий.