Odaily Planet Daily: OpenAI опублікувала наукові результати, згідно з якими її наступне покоління моделей штучного інтелекту Astra досягло прогресу в галузі математики та теоретичної інформатики, зокрема у таких областях, як високорозмірна геометрія, теорія кодування, теорія груп, квантові складності, постквантовая криптографія та екстремальна комбінаторика. Серед 10 опублікованих результатів — проблеми упаковки куль у високих розмірностях, проблеми бінарного та сферичного кодування, проблема не-sofic груп, гіпотеза Коннса про жорсткість, проблема складності арифметичних схем, проблема квантового паралельного повторення, проблема найближчого вектора, гіпотеза Ерхарта про об’єм, проблема багатокольорових чисел Рамсея та гіпотези екстремальної теорії графів.
За даними, ці результати були отримані за допомогою внутрішньої версії моделі Astra, а обчислювальні витрати на пошук рішення склали приблизно 2000 доларів США (за цінами Sol API). Після цього людські дослідники використали ту саму модель для підготовки статті та генерації перевіряємих сертифікатів доведення за допомогою системи формалізації Lean.
