Десять результатов на открытых задачах

Внутренняя версия Astra во время разработки получила десять новых результатов в математике, квантовой сложности и теоретической информатике. OpenAI выпустила 249-страничный сборник и Lean-сертификаты.

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

Источники

OpenAI · Ten advances in mathematicsОткрыть первоисточник