OpenAI опубликовала 700 препринтов по математическим доказательствам

Компания OpenAI выложила в открытый доступ 700 препринтов с математическими доказательствами и контрпримерами на GitHub.

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

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

Новый массив данных предоставляет исследователям и математикам готовые теоретические выкладки для анализа сложных вычислительных и геометрических задач.